#effectsystems — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #effectsystems, 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
-
From 11:00 to 12:00 on Tuesday, February 17, the PLSL 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/
-
Effect Systems vs. Print Debugging: A Pragmatic Solution
https://blog.flix.dev/blog/effect-systems-vs-print-debugging/
#HackerNews #EffectSystems #PrintDebugging #PragmaticSolutions #SoftwareDevelopment #DebuggingTechniques
-
Effectful - An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
-
Bluefin is a Haskell effect system with a new style of API.
https://hackage.haskell.org/package/bluefin-0.0.4.3/docs/Bluefin.html
#haskell #fp #functionalprogramming #programming #effectSystems
-
So I nerdsniped myself into mading a thing that might be of interest to Agda developers (ping @AndrasKovacs) as well as people working on effect systems. It's an overview of all the mtl-style typeclasses that are defined in the Agda codebase, with all their methods classified according to which standard mtl function they are most similar to (or which one could be used as a basis for their implementation). You can find it here: ethercalc.net/gj0gb6afi1
#Agda #EffectSystems -
Really looking forward to this. Don't forget to RSVP folks!
#haskell #functionalprogramming #india #fpindia #effectsystems #meetup
-
This Saturday - Join us for another exciting Effect Systems reading group meetup!
We will discuss the following papers related to Evidence passing in effect handlers
1. https://dl.acm.org/doi/pdf/10.1145/3473576
2. https://xnning.github.io/papers/haskell-evidently.pdf
#Haskell #EffectSystems #FPIndia #FunctionalProgramming #India #Meetup
-
«With Eio 0.10 just released, it’s time for another update! Since the above post (which was for Eio 0.5), some of the bigger changes are:...»
https://discuss.ocaml.org/t/update-on-eio-effects-based-direct-style-io-for-ocaml-5/10395/2
