Archives/learnhaskell
2
0
Fork 0
mirror of https://github.com/bitemyapp/learnhaskell.git synced 2024-11-03 23:15:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

added ezyang's IO article

Browse Source
This commit is contained in:
Chris Allen 2014-08-25 16:37:16 -05:00
parent c7702a5acc
commit 0a8024b968
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -414,6 +414,7 @@ Comment from Reddit thread by `glaebhoerl`
Interesting side note: GHC needs to hide the state token representation behind an abstract IO type because the state token must always be used linearly (not duplicated or dropped), but the type system can't enforce this. Clean, another lazy Haskell-like language, has uniqueness types (which are like linear types and possibly different in ways I'm not aware of), and they expose the World-passing directly and provide a (non-abstract) IO monad only for convenience.
- http://blog.ezyang.com/2011/05/unraveling-the-mystery-of-the-io-monad/
- http://blog.jle.im/entry/first-class-statements