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 danghica on Monday June 08, 2015 @02:12PM (#9680951)
I agree with monads, not so sure about algebraic effects. Having to define the effect feels like "simulation" to me. It's OK for a meta-language, but to me it feels wrong for actual effectful programming.
[ Parent | on HN ]
Re:The limits of type theory: computation vs. interaction by cousin_it on Monday June 08, 2015 @02:32PM (#9681156)
Can you explain your wish in more detail? I feel like you might have a point, but I'm having trouble verbalizing it for myself :-(
[ Parent | on HN ]