Hacker News new | ask | show | jobs
by ek 4549 days ago
The tech report version of the OOPSLA paper Joe mentions, about a type system for side effect understanding, is here: https://research.microsoft.com/apps/pubs/default.aspx?id=170...
1 comments
riffraff 4549 days ago
also from MSR, Koka[0] has effect types and a sweet online repl!

[0] http://rise4fun.com/koka/tutorial

link