3 ms·
This helps handle IO in pure functional languages because? Is it because functions can have more than 1 type?
by jimsimmons 5y ago
This helps handle IO in pure functional languages because? Is it because functions can have more than 1 type?
- jhanschoo 5y agoCan you elaborate what you mean by that? Support of sum and product types are used everywhere in typed functional languages and I don't know of any way they are exploited specifically in IO in a way that does not generalize to other domains.
- jimsimmons 5y agoWhoops looks like I confused algebraic datatypes and algebraic effects. Actually this confusion / realization because of your comment just clicked something for me, so thanks!!