Of Course ML Has Monads (2011) | Hacker News

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

		Of Course ML Has Monads (2011) (existentialtype.wordpress.com)
		7 points by Bogdanp on June 24, 2025 \| hide \| past \| favorite \| 3 comments

gnabgib on June 24, 2025 | [–]

Discussion at the time (44 points, 2011, 16 comments) https://news.ycombinator.com/item?id=2503967

greener_grass on June 24, 2025 | | [–]

Does ML have do notation?

In ML do you need to write `List.map` where in Haskell you can write `map` and it infers the type?

nyeah on June 24, 2025 | [–]

Monads? I'll give you monads on your behind.

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