Effectful - An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
#effectsystems
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
Mind 🤯 #scala #functionalscala #kyo #effectsystems
![Slide describing the design of the Kyo arrow type as ‘type >[ T, -S] >: T’ which means that any type T is a subclass of ‘T > Any’](https://files.mastodon.social/cache/media_attachments/files/111/500/764/481/968/163/original/478ea22b7b0a967e.jpeg)
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
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
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst