3 ms·
I think the first thing in design to have sane (sound) type is to separate effects from pure stuff. Browser engine is complex but API shouldn't be, right? It wo
by Existenceblinks 4y ago
I think the first thing in design to have sane (sound) type is to separate effects from pure stuff. Browser engine is complex but API shouldn't be, right? It would be great if those compile-to-js lang authors folks also get involved. (those ML based and some others)
- golergka 4y agoThis proposal doesn't include any actual type-checking. It would make various type checking annotations valid no-ops in JS, nothing more.
- Existenceblinks 4y agoYeah I also have another comment https://news.ycombinator.com/item?id=31673288 https://news.ycombinator.com/item?id=31673288 about chance to do something different.