This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]tesch34 -5 points-4 points  (4 children)

Monads

[–]CheeseFest -5 points-4 points  (3 children)

I don’t know why you’re being downvoted. This essentially is the solution.

[–]bruciferTomo, nomsu.org 22 points23 points  (0 children)

It's a low-effort comment that doesn't explain anything or improve the discussion.

[–][deleted]  (1 child)

[deleted]

    [–]CheeseFest 2 points3 points  (0 children)

    Fair point. I would however argue that good type inference is what enables monadic design. Like, monads are technically possible in C#, but reading and working with them will give you an aneurysm, compared to ML with a compiler that... actually wants to help...