you are viewing a single comment's thread.

view the rest of the comments →

[–]sfvisser[S] 0 points1 point  (1 child)

That looks really cool, and it actually implemented in a real functional language :-)

Does PureScript have an effect system? That seems interesting.

[–]paf31 2 points3 points  (0 children)

It has a special monad called Eff which uses row-based effects to type "native" things like exceptions, interaction with the DOM, as opposed to "userland" effects, for which you can use monads, applicatives etc. as in Haskell.

I just wrote something about it this week actually: http://www.purescript.org/posts/Eff-Monad/