推 CoNsTaR: 1. 在有 subtyping 的情況下是不對的 01/19 23:15
→ CoNsTaR: 例如數字 2 是 Integer 也是 Number 01/19 23:15
→ CoNsTaR: 2. 在 type 是 first-class value 的語言中是不對的 01/19 23:15
→ CoNsTaR: 3. 我猜他指的是類似 C 語言的 union 的東西 01/19 23:15
→ CoNsTaR: 維基百科說強、弱型別沒有明確的定義 01/19 23:21
→ CoNsTaR: 不過我私心認為會在編譯時期做 type check 的語言就屬於 01/19 23:21
→ CoNsTaR: 強型別了 01/19 23:21
推 CoNsTaR: 我發現我回錯版了 我以為這是 C 版 orz 01/19 23:45
→ CoNsTaR: 那 3. 指的應該是 Haskell 的 either 吧～ 01/19 23:45
推 cass: 符合123的例子就是指向base class的pointer或reference(c++) 06/23 13:37