ポスト

artimaのScalaコップ本5版のなぜ型クラスじゃないといけないのかの説明すごく良いな。多態をサブタイプで表現する方法だとOrdered[Hope[T]]を継承したclass Hope[+T <: Ordered[T]] extends Ordered[Hope[T]]という順序付け可能なコンテナを共変で作りたいけどOrderedは非変だから無理という説明。 pic.x.com/csxnnto0ax

メニューを開く

sifue(吉村 総一郎)@sifue

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ