undefined | Better HN

0 pointsdanghica10y ago0 comments

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.

0 comments

cousin_it10y ago

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

j / k navigate · click thread line to collapse

0 pointsdanghica10y ago0 comments

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.

0 comments

cousin_it10y ago

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

j / k navigate · click thread line to collapse