[討論] 請大家聊聊靜態語言的缺點

[fshfsh (魚~*)]

繼上個系列串

我想問問大家認為靜態型別的缺點是什麼呢?


本人寫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://www.ptt.cc/bbs/Soft_Job/M.1606009622.A.2B0.html
→ dream1124: 現在主流語言的設計都嘛抄來抄去，大家長得越來越像
→ dream1124: 可彈性標註型態 + 可彈性調整語法檢查嚴謹度的編譯器
→ dream1124: 才是趨勢。動態靜態已不太是重點
→ OrzOGC: 對新手有一點點不友善 python近乎亂寫XD
推 kyushu: 我主要寫C/C++，Python，靜態型別對我來說沒什麼特別缺點
→ kyushu: ，倒是動態型別常常要teace源頭倒底是啥型別
推 shter: JS比較常運用的情況是值可能是一個物件或 boolean false
→ shter: 有些function找到東西時會回傳物件，沒找到就回傳 false
→ shter: 而不需要預先定義 Function 回傳值或變數的型態
→ shter: JS的型別習慣是在處理的時候做型別轉換成 Function 需要的
→ shter: 如要計算的話不論來源字串/數值都一律 parseInt parseFloat
推 alihue: 不用一直擔心型別 runtime err 很不方便
推 lturtsamuel: 其實我覺得很多人的問題只是選的語言不夠強的問題
→ lturtsamuel: 有了 sum type, tuple 跟 macro 以後其實我很少有表
→ lturtsamuel: 達不出來的類型了
推 alihue: static 很多 type bug 可以在 compile time 就解決了
→ EricTCartman: 靜態型別的缺點就是你要浪費時間去做動態型別機制
→ EricTCartman: 但你可以選擇不用動態型別 所以就沒了這缺點 yeah
→ koharuhu: 我怎覺得這篇只是另開戰場...要寫出有品質的Code 重點在
→ koharuhu: 人而不在工具語言
→ superpandal: java不會看到型別錯誤 只是因為不夠動態 至於記不記
→ superpandal: 得 ide是種加成不代表原本問題不存在
→ superpandal: 寫的不夠動態
推 alihue: 不要動不動就放大絕有問題都是人，語言都是工具，這裡是
→ alihue: 軟體版好嗎
→ alihue: 難道你用工具都不會選一下，看優缺點？
推 newhandfun: 同意樓上，如果將人的因素考量進去就很難談了。不過大
→ newhandfun: 家看起來都是在鞭js太奇葩，而不是編譯與否或是弱強
→ newhandfun: 型態與否
推 x246libra: 動態寫的爽, 維護慘，靜態寫的微累不方便, 維護佳.
推 x246libra: java 也可以很動態，全部都用object就可以，眼神死
推 dream1124: 語言是人發明的，討論工具就說一切都是人的問題也沒錯
→ dream1124: 只是那些人要這樣說的話，你下次就可以直指語言發明者
→ dream1124: 大罵了，發明這什麼該死的鳥東西。
→ jej: java喔 一票老屁股連lambda都還沒跟上
→ jej: 在那邊說什麼動態語言的優缺點
→ jej: 重點是老屁股們 你們有跟上時代嗎？
→ jej: 說缺點 很明顯的是要寫很多東西 一樣是工廠類別
→ jej: 有 lambda 和沒有lambda就明顯差很多
→ netburst: 推樓上
推 wulouise: Lambda某種程度對易讀性的確有提高
→ askaleroux: 沒什麼缺點
→ ssccg: 缺點就是要多寫一些東西啊，寫不對compiler還不會讓你過
→ ssccg: 像generic有時候你就知道是對的，但是type inference過不了
推 lturtsamuel: 但也有時候是你以為你對了
推 rodion: 缺點就是靜態本身阿  靜態代表細節的強迫確定 但這與軟體
→ rodion: 發展往更高度抽象化的目標背道而馳
→ rodion: 所以靜態語言的產品相對安全穩固 但對於開發本身來說 就得
→ rodion: 接受一個較為"吹毛求疵"(當然這也有好的一面)的體驗
→ meowyih: 你一面說用來用去就那幾個類型，一面又說寫到後面會忘記
→ meowyih: 類型是甚麼，聽起來不覺得怪怪的嗎? 不是數字就是文字，
→ meowyih: 不是單一變數就是陣列，忘記也太誇張了 XD
→ newhandfun: 動靜態跟強弱型態要分開來，也有靜態弱型態的語言....
→ newhandfun: ..
推 typepeter: 與其講強弱型態 感覺沒泛型才可怕 其他還好
推 Dodoroiscute: https://imgur.com/6pZfGXp
推 billy8407: Python 也可以標註型態了
→ billy8407: 更何況是動態語言，註名清礎對自己debug也好，動靜態
→ billy8407: 其實到還好
推 satanbaby: 沒有缺點
→ superpandal: 靜態語言加上物件要動態就是要考慮型別錯誤阿 有問題
→ superpandal: 嗎 XD 當然人很重要
→ JasperChang: 缺點就是比動態好太多
推 mepowerlmay: 分享到fb 大家一起輪啦