5 ms·
Another functional approach to I/O is "effect systems". I'm not aware of "stable" functional language with them in it though. It's mostly academic at this point
by RubenSandwich 7y ago
Another functional approach to I/O is "effect systems". I'm not aware of "stable" functional language with them in it though. It's mostly academic at this point.
Here is some research on it: https://www.microsoft.com/en-us/research/publication/koka-programming-with-row-polymorphic-effect-types/ https://www.microsoft.com/en-us/research/publication/koka-pr...
- ghayes 7y agoYou can take a look at Effects in Idris: http://docs.idris-lang.org/en/latest/effects/ http://docs.idris-lang.org/en/latest/effects/
- RubenSandwich 7y agoOh I didn't know Idris had an effect system. Thanks!
- cies 7y agoThere is a language called Frank. I read a paper on it, called "Do Be Do Be", which was an epic read. https://arxiv.org/abs/1611.09259 https://arxiv.org/abs/1611.09259
- chriswarbo 7y agoConor McBride's primary research area seems to be puns, which he publishes via programming language theory :P My favourite title is "I am not a number, I am a free variable" https://scholar.google.com/citations?user=vO7qGKwAAAAJ&hl=en&oi=ao https://scholar.google.com/citations?user=vO7qGKwAAAAJ&hl=en...