Much respect for Simon Peyton Jones, but empirically, that's not true: see Idris... | Hacker News

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

		tasuki on May 14, 2024 \| parent \| context \| favorite \| on: The Cult of the Haskell Programmer Much respect for Simon Peyton Jones, but empirically, that's not true: see Idris, PureScript, Elm, and probably many others.

mcguire on May 15, 2024 [–]

Those were all designed after monadic IO was introduced in Haskell. The ability to mark IO operations in types (and the do notation) was a game-changer.

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