我覺得這個真的吵個沒完
不過看到 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