JS Zero [1] is one approach. I would love to make it happen, but although I'm confident I can make the sublanguage design and developer experience great, I'm on

JS Zero [1] is one approach. I would love to make it happen, but although I'm confident I can make the sublanguage design and developer experience great, I'm only familiar with basic type theory. It would be great to have even one interested expert join the project and help get the ball rolling. [1] http://js-zero.com/ http://js-zero.com/