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

This makes a good case for effect systems in conjunction with FP, so they can be reasoned about as well. Something like https://koka-lang.github.io/koka/doc/index.html

Having said that, having something like Daedelus in there as well would give a handle on temporal-based determinism, and then some allowance for delimited continuations would top things off nicely.



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

Search: