4 ms·
Thank you for sharing that great work! It's more like a dependent-type plug-in to typescript to me, if I understand it correctly. ESInfer and Ezno work on diff
by jiangmy 4y ago
Thank you for sharing that great work!
It's more like a dependent-type plug-in to typescript to me, if I understand it correctly.
ESInfer and Ezno work on different layers, in my opinion. ESInfer provides a general ability to type-check code, yet Ezno improves a type system by adding the dependent type support. Ezno can work on top of typescript and could work with ESInfer, right? An easy way to do this is to use ESInfer to generate typescript annotations and then pass it to Ezno.
- cercatrova 4y agoActually 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.