2 ms·
Actually Ezno wants to do what you're saying as well, the general ability to type-check code, not just add dependent types on top. Their website has some more e
by cercatrova 4y ago
Actually Ezno wants to do what you're saying as well, the general ability to type-check code, not just add dependent types on top. Their website has some more examples.
See also, Hegel, which also wants to statically type check JS without TS necessarily. Looks like this space is heating up!
https://hegel.js.org/ https://hegel.js.org/
https://news.ycombinator.com/item?id=33162275 https://news.ycombinator.com/item?id=33162275
- jiangmy 4y agoHype up, Dude! Very glad to see so many afford to make javascript a better language there! I played it around, and I found Hegel seems not to support dynamic features like modifications of objects or prototypes. And this is the real difficulty of implementing a sound and complete type system to a dynamic script language like javascript. Can you share if they have any plans for that? https://hegel.js.org/try#GYVwdgxgLglg9mABFApgZygCgIYEpEDeAUIqcgBYxoB02iAvItgNwlkBOKUI7SAjKwC+RIhAQYmDRGBQB3ZOiwAmXKyKoM1AA7s4UPQE8tKagCMpAcj4W1YsBIhTsZ5kA https://hegel.js.org/try#GYVwdgxgLglg9mABFApgZygCgIYEpEDeAUI... https://hegel.js.org/try#MYewdgzgLgBCMF4YG8CGAuFAjTBGAvvgNwBQJIAdACaIoYwDkATA8WaJLDUpVaR9BipavCqiJA https://hegel.js.org/try#MYewdgzgLgBCMF4YG8CGAuFAjTBGAvvgNwB...
- cercatrova 4y agoI'm not affiliated with Hegel so I wouldn't know, maybe try contacting them directly via HN or their website.