看板
[ PLT ]
討論串[問題] Scala 的 Covariant/Contravariant/Inv …
共 17 篇文章
內容預覽:
其實我從來沒真的搞懂過 java generic 到底是在做什麼，. 只覺得他常常會造成很多的矛盾，讓我感到很困惑，進而放棄使用。. 不過經過這一陣子嘗試 scala, 加上 macbuntu 的一些詳細說明，. 我才忽然恍然到底是怎麼一回事 @@ 我覺得可以用這兩句話總結：. java 要求使用者
(還有922個字)
內容預覽:
我覺得你沒有看懂我的意思，你這樣子的說法有點兒倒因為果的味道(請不要認為. 這是不友善的用詞)。. 我說應該由 client code 來決定 subtyping variance，意思是說當上頭的 func 因為. 它只需要 a.get() 能夠獲得(至少是) Number instance 時(
(還有1642個字)
內容預覽:
如果你看到一個對 C pointer 沒有正確觀念的人，卻使用了 pointer 寫出拿石頭. 往自己的腳砸的程式碼，你會說 C 語言有 pointer 似乎是沒意義的嗎？. 如果上頭的 func method 就是要那樣子(all a.xxx(...) statements)使用 a 指涉. 的
(還有489個字)
內容預覽:
可以直接從 class/interface 的規格來決定 variance 阿,. 這就是我之前提的透過 implicit semantic rule 直接把 Scala 的想法放進 Java 裡. 而不加 +/-. 但是 explicit annotation 的好處就如同 @Override 這
(還有601個字)
內容預覽:
雖然我覺得 c pointer 跟 java generic 不太能夠類比，因為 pointer 很難. 做到良好的限制，使得不正確的操作有效被阻擋。但是 java generic 依照. scala 的作法，是能做到不錯的效果。不過我也同意你說對於 java generic. 會使人砸自己的腳，而
(還有629個字)