看板
[ PLT ]
討論串[問題] Scala 的 Covariant/Contravariant/Inv …
共 17 篇文章
內容預覽:
看到 godfat 大大在 Java 版提到 Scala 的 Variant 方式,. 覺得很有趣, 上網找了 Scala 的資料看了一下,. 發現 Scala 的 type variance 選擇還真多, 三種 variance 方法都允許,. 而且是可以直接應用在 type parameter
(還有1121個字)
內容預覽:
就像你說的，. "High explosives, handle with care.". 用得好的話，應該是不會的。不是也有一句話，. 你沒辦法阻止別人要開槍打在自己的腳上？ XD. 在這邊引用 Java 的 array 的例子，應該就算是一個不良應用吧，哈哈 XD. 在 Scala 裡，Arra
(還有2667個字)
內容預覽:
今天再玩了一下 Scala, 發現 Scala 的 variant 並沒有我原先想的那麼天真,. 它有個很聰明的設計, 靠 compile time type checking 把不正當的型別使用擋掉,. 所以我原先想的那些 covariant 跟 contravariant 的問題其實在 Scal
(還有2048個字)
內容預覽:
我沒有什麼 scala programming 的經驗，我想請教 scala 中 generic type. 定義時使用的 Variance Annotations 實際上能帶來什麼好處？. 你覺得如果把這個 feature 加進 Java PL 是個好事，可否請你說說這個 feature. 在實際
(還有1572個字)
內容預覽:
我覺得因為 Java type parameter 是 invariant 的, 所以看不出 A 和 C 的好處.. 舉個使用 covariant type 的例子 (pseudo java):. interface Set<+T> {. public T get();. }. class Algo
(還有2424個字)