看板
[ PLT ]
討論串[問題] Scala 的 Covariant/Contravariant/Inv …
共 17 篇文章
內容預覽:
我覺得你沒有看懂我的意思，你這樣子的說法有點兒倒因為果的味道(請不要認為. 這是不友善的用詞)。. 我說應該由 client code 來決定 subtyping variance，意思是說當上頭的 func 因為. 它只需要 a.get() 能夠獲得(至少是) Number instance 時(
(還有1642個字)
內容預覽:
其實我從來沒真的搞懂過 java generic 到底是在做什麼，. 只覺得他常常會造成很多的矛盾，讓我感到很困惑，進而放棄使用。. 不過經過這一陣子嘗試 scala, 加上 macbuntu 的一些詳細說明，. 我才忽然恍然到底是怎麼一回事 @@ 我覺得可以用這兩句話總結：. java 要求使用者
(還有922個字)
內容預覽:
我覺得因為 Java type parameter 是 invariant 的, 所以看不出 A 和 C 的好處.. 舉個使用 covariant type 的例子 (pseudo java):. interface Set<+T> {. public T get();. }. class Algo
(還有2424個字)
內容預覽:
我沒有什麼 scala programming 的經驗，我想請教 scala 中 generic type. 定義時使用的 Variance Annotations 實際上能帶來什麼好處？. 你覺得如果把這個 feature 加進 Java PL 是個好事，可否請你說說這個 feature. 在實際
(還有1572個字)
內容預覽:
今天再玩了一下 Scala, 發現 Scala 的 variant 並沒有我原先想的那麼天真,. 它有個很聰明的設計, 靠 compile time type checking 把不正當的型別使用擋掉,. 所以我原先想的那些 covariant 跟 contravariant 的問題其實在 Scal
(還有2048個字)