I agree with monads, not so sure about algebraic effects. Having to define the e... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		danghica on June 8, 2015 \| parent \| context \| favorite \| on: The limits of type theory: computation vs. interac... 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.

cousin_it on June 8, 2015 [–]

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 :-(

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact