JS Zero [1] is one approach. I would love to make it happen, but although I&#x27;m confident I can make the sublanguage design and developer experience great, I&#x27;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.<p>[1] <a href="http:&#x2F;&#x2F;js-zero.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;js-zero.com&#x2F;</a>