The tech report version of the OOPSLA paper Joe mentions, about a type system fo... | Hacker News

Hacker News .hnnew | past | comments | ask | show | jobs | submit

ek on Dec 28, 2013 | parent | context | favorite | on: A glimpse into a new programming language under de...

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

riffraff on Dec 28, 2013 [–]

also from MSR, Koka[0] has effect types and a sweet online repl!

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

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