News for hackers. Stuff that matters.

A comment on The limits of type theory: computation vs. interaction. Parent comment

Re:The limits of type theory: computation vs. interaction by Dewie3 on Tuesday June 09, 2015 @05:09AM (#9684726)
Do you know of any introduction to algebraic effects that is more programming-focused than theoretical?
[ Parent | on HN ]
Re:The limits of type theory: computation vs. interaction by cousin_it on Tuesday June 09, 2015 @05:46AM (#9684861)
Here's one: http://math.andrej.com/2010/09/27/programming-with-effects-i...
[ Parent | on HN ]