Re:Monads Schmonads: Functional Input Without Tears (PYFL)
by thewakalix on Sunday May 23, 2021 @06:22PM
(#27259175)
I'd say it's more that IO is a sublanguage. The type (Int -> IO Int) seems more specialized than the type (Int -> Int), for example.
[ Parent
| on HN ]
There are no comments on this comment yet.