Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
08-15
on Aug 30, 2020
|
parent
|
context
|
favorite
| on:
Inventing Monads
> the monad is only kinda building a graph to be evaluated
That's what the free monad does. Not every monad is a free monad, IO certainly isn't.
edflsafoiewq
on Aug 30, 2020
[–]
Why isn't IO free?
08-15
on Aug 30, 2020
|
parent
[–]
Come think about it, it could be. That's not how it's implemented in any Haskell implementation I know of.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
That's what the free monad does. Not every monad is a free monad, IO certainly isn't.