#algebraiceffects — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #algebraiceffects, aggregated by home.social.
-
From 14:30 to 15:30 on Wednesday, March 18, the PLUSLE reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.
https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/
-
From 14:30 to 15:30 on Wednesday, March 18, the PLUSLE reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.
https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/
-
From 11:00 to 12:00 on Tuesday, February 17, the PLUSLE reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.
https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/
#PLUSLE #algebraicEffects #effectSystems #semantics #logic #programmingLanguages
-
From 11:00 to 12:00 on Tuesday, February 17, the PLUSLE reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.
https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/
#PLUSLE #algebraicEffects #effectSystems #semantics #logic #programmingLanguages
-
Control structures in programming languages: from goto to algebraic effects
http://xavierleroy.org/control-structures/
#HackerNews #ControlStructures #ProgrammingLanguages #Goto #AlgebraicEffects #HackerNews
-
🎩✨ Algebraic effects are the latest buzzword, promising to save us from the horrors of untestable code and supply chain attacks, because clearly, what we need is *more* #complexity in software 😅. #Flix is here to remind us that if it sounds fancy, it must be the next big thing, right? 🛠️🤷♂️
https://www.relax.software/blog/flix-effects-intro/ #AlgebraicEffects #SoftwareDevelopment #UntestableCode #HackerNews #ngated -
🎩✨ Algebraic effects are the latest buzzword, promising to save us from the horrors of untestable code and supply chain attacks, because clearly, what we need is *more* #complexity in software 😅. #Flix is here to remind us that if it sounds fancy, it must be the next big thing, right? 🛠️🤷♂️
https://www.relax.software/blog/flix-effects-intro/ #AlgebraicEffects #SoftwareDevelopment #UntestableCode #HackerNews #ngated -
🚨 Breaking News: Algebraic Effects have solved all of humanity's problems! 🌍✨ Dive into this riveting tale of jargon and buzzwords where "Why?" is asked more times than at a toddler's birthday party. 🎈🤔 Spoiler: You're still left wondering... why? 🤷♂️
https://antelang.org/blog/why_effects/ #AlgebraicEffects #HumanityProblems #JargonBuzzwords #WhyNot #CuriousMinds #HackerNews #ngated -
https://react-book.melange.re/intro/
I love #ocalm.it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.
