Is Eff-monad purescript inspired by www.eff-lang.org?

Question

Reading about the Eff-language, I wondered if there were already such ideas. Eff-Language mentions a document called “Algebraic Effects Output”, which describes the algorithm that Eff uses to output effects. Are there any similarities?

Answer 1

I knew about Eff when I wrote the effects system in PureScript, so you can say that it was inspired by this. Another source of inspiration was the Koka programming language, in particular the Coca: Programming Using Types of Polymorphic Effects document. Given that PureScript already had string types for working with records, it makes sense to try to reprofile it for use as an effect system.

PureScript uses a spectacular monad called Eff (without a relationship!) To handle “native” effects (that is, effects provided by the runtime system rather than “custom” effects, as you can model using monad transformers in Haskell). Eff very similar to Haskell IO , but is refined by a number of effect types. So the path to string-based effects in PureScript was very simple - we just need to allow strings to contain types with types other than * .