ACP SectionFrom 14:30 to 15:30 on Wednesday, March 18, the PLSL 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 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/
#PLSL #algebraicEffects #effectSystems #semantics #logic #programmingLanguages
Hacker NewsEffect Systems vs. Print Debugging: A Pragmatic Solution
https://blog.flix.dev/blog/effect-systems-vs-print-debugging/
#HackerNews #EffectSystems #PrintDebugging #PragmaticSolutions #SoftwareDevelopment #DebuggingTechniques
vascorsdEffectful - 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
Vlad 🇺🇦
Jesper Agdakx 🔸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
#Agda #EffectSystems
Anupam 🇮🇳《ミ》λ≡Really looking forward to this. Don't forget to RSVP folks!
#haskell #functionalprogramming #india #fpindia #effectsystems #meetup
Anupam Jain (@[email protected])
This Saturday - Join us for another exciting Effect Systems reading group meetup! https://hasgeek.com/fpindia/effect-systems-reading-group/schedule/effect-systems-meetup-4-3KKk6oQr2gAqsZKf64VCcg 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
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
Update on Eio (effects-based direct-style IO for OCaml 5)
Thanks for the updates @talex5! Thought I’d also mention that: There’s now also a port of websockets to direct-style building on top of the cohttp work Direct-style websockets with Eio by patricoferris · Pull Request #130 · vbmithr/ocaml-websocket (github.com) I spent some time fixing up the GeoJSON PR so I believe it is now not broken! There are some benchmarking numbers trying to compare the before and after of using jsonm and the vendored “jsone” (a port of jsonm to effects following guida...