Feature proposals

Jump to bottom Edit New page

Matúš Tejiščák edited this page Dec 2, 2013 · 23 revisions

Error Reflection: Better error handling for embedded DSLs
Copatterns: Pattern matching for coinductive datastructures
Erasure annotations: Erase runtime-irrelevant terms