作者jackypan1989 (杰奇)
看板Soft_Job
标题Re: [讨论] 请大家聊聊 JavaScript的缺陷
时间Tue Nov 3 14:16:51 2020
我觉得这个真的吵个没完
不过看到 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
--- 分水岭 ---
6. elm
7. rescript (前身 reasonml)
--- 分水岭 ---
8. purescript
9. haskell + ghcjs 或其他转译方言
10. rust 转 wasm
所以我真的不知道 1 跟 2 有啥好争的
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 122.116.14.10 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Soft_Job/M.1604384214.A.EBB.html
1F：推 Gaitz: 看来 WebAssembly 是那些抱怨 JavaScript 却要开发浏览器上 11/03 14:22
2F：→ Gaitz: 程式的最佳归属 XD 11/03 14:22
3F：→ as30385438: JS到TS大概就是0->1,的确还是没好到哪, 但终於像个 11/03 14:23
4F：→ as30385438: 5盎持语言了 11/03 14:23
5F：→ as30385438: *正常 11/03 14:23
6F：推 testPtt: blazor好用 11/03 14:44
7F：推 alihue: 几年後都要被 WebAssembly 屌打了 11/03 14:59
8F：→ testPtt: 我4觉得还早 看能不能摆脱html 或是html能再进步 11/03 15:55
9F：推 justben: 可以请教一下大大 java的安全性 vs Go 的安全性吗 11/03 17:33
10F：→ justben: 透过 JVM 跟 打包好的执行档 安全性是差不多的? 11/03 17:33
你问错人，也问错问题
我这边的 安全性 指的是语言本身所提供的『型别』安全性
而不是资安或是逆向工程防御机制
型别安全性的话，我必须说 GO 跟 Java 都蛮 xxoo 的
※ 编辑: jackypan1989 (122.116.14.10 台湾), 11/03/2020 18:30:51
11F：推 plsmaop: C 有 void*，能直接memset 更恐怖啦 11/03 18:32
12F：→ strlen: 结论：都是垃圾 11/03 20:02
13F：推 sp063439: flow type 真的比 ts 简单多惹 11/03 22:40
14F：推 CoNsTaR: 用 purescript 啊，row polymorphism 和 OO + inclusion 11/03 23:14
15F：→ CoNsTaR: polymorphism 根本不用比 11/03 23:14
16F：推 CoNsTaR: 会选用 Java 的脑大概也懂不了 type safety 是什麽 11/03 23:16
17F：→ CoNsTaR: 这倒是可以放心，大概只会吹捧 OO 和排除异己 11/03 23:16
18F：→ laputaflutin: 最近一直想来玩玩elm, 感觉很棒 11/04 03:10
19F：推 CoNsTaR: 没看到内文有提到 purescript 了，那推 Idris2 好了，比 11/04 03:37
20F：→ CoNsTaR: Rust, Haskell 还舒爽，只是没用过 js 和 node backend 11/04 03:37
21F：→ CoNsTaR: ，不知道实用性如何 11/04 03:37
22F：推 peterlai: c 和 c++ 也可以转 wasm 11/04 07:09
23F：→ leo5916267: 但大家好像比较推ts 而不是flow？ 11/04 10:52
24F：→ jobintan: QT也支援WebAssembly… 11/04 15:13
25F：→ superpandal: 只有数据很简单 有了型别就要注意是哪个物种 位於底 11/04 16:50
26F：→ superpandal: 层就gg 11/04 16:50
27F：→ laputaflutin: 昨天还看到一个Svelte，感觉根本披着框架皮的新语言 11/04 17:17
28F：推 lturtsamuel: 所以你去用yew了吗 11/04 19:19
29F：推 csieflyman: 有人用 kotlin/js 吗? 11/04 19:28
30F：推 lturtsamuel: 对底层语言来说 型别安全跟计算机安全常常是同一件事 11/04 19:40
31F：→ dream1124: @laputaflutin 前端现在越来越流行框架和开发工具整合 11/04 19:52
32F：→ dream1124: 有些人看了就高潮，但我是想到抽象外溢的状况就怕 11/04 19:54
33F：→ dream1124: Svelte 还是个一人、非公司、非营利的专案欸 11/04 19:54
34F：推 laputaflutin: 同意楼上，不过看到这次美国大选很多新闻网都拿 11/04 21:02
35F：→ laputaflutin: svelte来写，感觉蛮有趣的，应该会拿来试试看 11/04 21:03
36F：推 shortoneal: 希望web assembly可以赶快起来，这样就多一堆人能写前 11/04 23:32
37F：推 No: 请问什麽是「抽象外溢」？ 11/05 02:10
38F：推 plsmaop: 楼上，我猜是 leaky abstraction 11/05 07:07
39F：推 electgpro: 某语言：「在座的各位都是＿＿＿＿」XD 11/08 01:23