Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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-pr...



You can take a look at Effects in Idris: http://docs.idris-lang.org/en/latest/effects/


Oh I didn't know Idris had an effect system. Thanks!


There 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


Conor 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...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: