作者fshfsh (魚~*)
看板Soft_Job
標題[討論] 請大家聊聊靜態語言的缺點
時間Sun Nov 22 09:46:58 2020
繼上個系列串
我想問問大家認為靜態型別的缺點是什麼呢?
本人寫Java也寫JS，最近也在碰Python
我自己寫Java，一開始覺得宣告比較麻煩，需要思考這個變數是什麼型別
(其實說實在，Java的變數最常使用也就幾個，我正常刷Leetcode除非特殊情況否則很少會想不出要用什麼型別的變數)
優點是很明顯的，一旦後面的型別錯了，IDE直接跳錯，也不給編譯
我上一份工作需要寫Java後端和JS前端，Java通常不會有型別錯誤的情況發生，除非是打API撈資料再cast成Java object的過程才有可能出錯
而JS則是變數很好宣告，直接const就好了
但前前後後的變數，自己都要記得很清楚這個變數的型別
萬一做一個動態頁面(我們是陽春的jQuery) ，搞不清楚狀況
光要找出問題就要debug很久
我聽說動態型別和靜態型別都各有其擁護者，想請問靜態型別的缺點，或是說動態型別的優點是什麼呢?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.12.91.182 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Soft_Job/M.1606009622.A.2B0.html
1F：→ dream1124: 現在主流語言的設計都嘛抄來抄去，大家長得越來越像 11/22 10:08
2F：→ dream1124: 可彈性標註型態 + 可彈性調整語法檢查嚴謹度的編譯器 11/22 10:09
3F：→ dream1124: 才是趨勢。動態靜態已不太是重點 11/22 10:10
4F：→ OrzOGC: 對新手有一點點不友善 python近乎亂寫XD 11/22 10:30
5F：推 kyushu: 我主要寫C/C++，Python，靜態型別對我來說沒什麼特別缺點 11/22 10:46
6F：→ kyushu: ，倒是動態型別常常要teace源頭倒底是啥型別 11/22 10:46
7F：推 shter: JS比較常運用的情況是值可能是一個物件或 boolean false 11/22 10:50
8F：→ shter: 有些function找到東西時會回傳物件，沒找到就回傳 false 11/22 10:50
9F：→ shter: 而不需要預先定義 Function 回傳值或變數的型態 11/22 10:51
10F：→ shter: JS的型別習慣是在處理的時候做型別轉換成 Function 需要的 11/22 10:52
11F：→ shter: 如要計算的話不論來源字串/數值都一律 parseInt parseFloat 11/22 10:53
12F：推 alihue: 不用一直擔心型別 runtime err 很不方便 11/22 11:00
13F：推 lturtsamuel: 其實我覺得很多人的問題只是選的語言不夠強的問題 11/22 11:01
14F：→ lturtsamuel: 有了 sum type, tuple 跟 macro 以後其實我很少有表 11/22 11:02
15F：→ lturtsamuel: 達不出來的類型了 11/22 11:02
16F：推 alihue: static 很多 type bug 可以在 compile time 就解決了 11/22 11:28
17F：→ EricTCartman: 靜態型別的缺點就是你要浪費時間去做動態型別機制 11/22 11:42
18F：→ EricTCartman: 但你可以選擇不用動態型別 所以就沒了這缺點 yeah 11/22 11:42
19F：→ koharuhu: 我怎覺得這篇只是另開戰場...要寫出有品質的Code 重點在 11/22 16:59
20F：→ koharuhu: 人而不在工具語言 11/22 16:59
21F：→ superpandal: java不會看到型別錯誤 只是因為不夠動態 至於記不記 11/22 17:18
22F：→ superpandal: 得 ide是種加成不代表原本問題不存在 11/22 17:19
23F：→ superpandal: 寫的不夠動態 11/22 17:19
24F：推 alihue: 不要動不動就放大絕有問題都是人，語言都是工具，這裡是 11/22 17:30
25F：→ alihue: 軟體版好嗎 11/22 17:30
26F：→ alihue: 難道你用工具都不會選一下，看優缺點？ 11/22 17:31
27F：推 newhandfun: 同意樓上，如果將人的因素考量進去就很難談了。不過大 11/22 17:41
28F：→ newhandfun: 家看起來都是在鞭js太奇葩，而不是編譯與否或是弱強 11/22 17:41
29F：→ newhandfun: 型態與否 11/22 17:41
30F：推 x246libra: 動態寫的爽, 維護慘，靜態寫的微累不方便, 維護佳. 11/22 17:48
31F：推 x246libra: java 也可以很動態，全部都用object就可以，眼神死 11/22 17:50
32F：推 dream1124: 語言是人發明的，討論工具就說一切都是人的問題也沒錯 11/22 18:04
33F：→ dream1124: 只是那些人要這樣說的話，你下次就可以直指語言發明者 11/22 18:05
34F：→ dream1124: 大罵了，發明這什麼該死的鳥東西。 11/22 18:05
35F：→ jej: java喔 一票老屁股連lambda都還沒跟上 11/22 18:31
36F：→ jej: 在那邊說什麼動態語言的優缺點 11/22 18:31
37F：→ jej: 重點是老屁股們 你們有跟上時代嗎？ 11/22 18:31
38F：→ jej: 說缺點 很明顯的是要寫很多東西 一樣是工廠類別 11/22 18:33
39F：→ jej: 有 lambda 和沒有lambda就明顯差很多 11/22 18:33
40F：→ netburst: 推樓上 11/22 20:37
41F：推 wulouise: Lambda某種程度對易讀性的確有提高 11/22 20:52
42F：→ askaleroux: 沒什麼缺點 11/23 01:40
43F：→ ssccg: 缺點就是要多寫一些東西啊，寫不對compiler還不會讓你過 11/23 10:34
44F：→ ssccg: 像generic有時候你就知道是對的，但是type inference過不了 11/23 10:36
45F：推 lturtsamuel: 但也有時候是你以為你對了 11/23 10:48
46F：推 rodion: 缺點就是靜態本身阿 靜態代表細節的強迫確定 但這與軟體 11/23 11:56
47F：→ rodion: 發展往更高度抽象化的目標背道而馳 11/23 11:57
48F：→ rodion: 所以靜態語言的產品相對安全穩固 但對於開發本身來說 就得 11/23 11:59
49F：→ rodion: 接受一個較為"吹毛求疵"(當然這也有好的一面)的體驗 11/23 12:00
50F：→ meowyih: 你一面說用來用去就那幾個類型，一面又說寫到後面會忘記 11/23 12:21
51F：→ meowyih: 類型是甚麼，聽起來不覺得怪怪的嗎? 不是數字就是文字， 11/23 12:22
52F：→ meowyih: 不是單一變數就是陣列，忘記也太誇張了 XD 11/23 12:22
53F：→ newhandfun: 動靜態跟強弱型態要分開來，也有靜態弱型態的語言.... 11/23 15:11
54F：→ newhandfun: .. 11/23 15:11
55F：推 typepeter: 與其講強弱型態 感覺沒泛型才可怕 其他還好 11/23 18:53
57F：推 billy8407: Python 也可以標註型態了 11/23 21:15
58F：→ billy8407: 更何況是動態語言，註名清礎對自己debug也好，動靜態 11/23 21:19
59F：→ billy8407: 其實到還好 11/23 21:19
60F：推 satanbaby: 沒有缺點 11/24 03:05
61F：→ superpandal: 靜態語言加上物件要動態就是要考慮型別錯誤阿 有問題 11/24 06:56
62F：→ superpandal: 嗎 XD 當然人很重要 11/24 06:56
63F：→ JasperChang: 缺點就是比動態好太多 11/24 21:28
64F：推 mepowerlmay: 分享到fb 大家一起輪啦 11/30 00:42