—Peter Saxton
#functionalprogramming #algebraiceffects
—Peter Saxton
#functionalprogramming #algebraiceffects
https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/
#plsl #algebraiceffects #effectsystems #semantics […]
https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/
#plsl #algebraiceffects #effectsystems #semantics […]
https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/
#plsl #algebraiceffects #effectsystems #monads
https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/
#plsl #algebraiceffects #effectsystems #monads
#algebraiceffects #functionalprogramming #plt
www.relax.software/blog/flix-ef...
#algebraiceffects #functionalprogramming #plt
www.relax.software/blog/flix-ef...
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
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