我觉得这个真的吵个没完
不过看到 TS vs JS 两者在争论我也是笑笑的啦
列举一些 TS 的优缺点
pros
1. 去掉一些 JS 最最最初级的错误
2. 某部分从 OO 抄来的概念，可能相较容易学
cons
1. UNSOUND，你看到的型别安全其实只能算是宣称
2. 侵入式的模式 (相较 flow)
3. 几乎无法避免测试撰写
当然为了‘开发速度’跟‘社群生态’跟‘IDE支持’
无可厚非，但就 TS 也只能说比 JS 好那一咪咪
事实上还是很多第三方要靠自己标，很多推断的也是 2266
详情可参考今年 JSDC 的 jeremy 的发表
如果你认为这样就是有维护性，或是根本性的安全
那我只能说你根本不懂 TS 也不懂真正所谓的 type-safe
接下来讲几个重点，给版友们参考 (纯粹看 type-safe)
以下是由差到好的分水岭
1. JS
2. TS
3. TS + ramda + blabla
4. fp-ts
5. flow

看来 WebAssembly 是那些抱怨 JavaScript 却要开发浏览器上程式的最佳归属 XD

JS到TS大概就是0->1,的确还是没好到哪, 但终于像个5盎持语言了*正常

blazor好用

几年后都要被 WebAssembly 屌打了

我4觉得还早 看能不能摆脱html 或是html能再进步

可以请教一下大大 java的安全性 vs Go 的安全性吗透过 JVM 跟 打包好的执行档 安全性是差不多的?

C 有 void*，能直接memset 更恐怖啦

结论：都是垃圾

flow type 真的比 ts 简单多惹

用 purescript 啊，row polymorphism 和 OO + inclusionpolymorphism 根本不用比会选用 Java 的脑大概也懂不了 type safety 是什么这倒是可以放心，大概只会吹捧 OO 和排除异己

最近一直想来玩玩elm, 感觉很棒

没看到内文有提到 purescript 了，那推 Idris2 好了，比Rust, Haskell 还舒爽，只是没用过 js 和 node backend，不知道实用性如何

c 和 c++ 也可以转 wasm

但大家好像比较推ts 而不是flow？

QT也支援WebAssembly…

只有数据很简单 有了型别就要注意是哪个物种 位于底层就gg

昨天还看到一个Svelte，感觉根本披着框架皮的新语言

所以你去用yew了吗

有人用 kotlin/js 吗?

对底层语言来说 型别安全跟计算机安全常常是同一件事

@laputaflutin 前端现在越来越流行框架和开发工具整合有些人看了就高潮，但我是想到抽象外溢的状况就怕Svelte 还是个一人、非公司、非营利的专案欸

同意楼上，不过看到这次美国大选很多新闻网都拿svelte来写，感觉蛮有趣的，应该会拿来试试看

希望web assembly可以赶快起来，这样就多一堆人能写前

请问什么是“抽象外溢”？

楼上，我猜是 leaky abstraction

某语言：“在座的各位都是＿＿＿＿”XD