2015-07-01から1ヶ月間の記事一覧
高階関数、多相関数。 ここで言う多相は継承等による多相*1ではなく、型変数を利用した(総称)多相関数*2。 この辺りは特に目新しいことは無かった。 データ型(List) List[+A]として変位を共変にしてNil extends List[Nothing]とすることでval l: List[Int] =…
高階関数、多相関数。 ここで言う多相は継承等による多相*1ではなく、型変数を利用した(総称)多相関数*2。 この辺りは特に目新しいことは無かった。 データ型(List) List[+A]として変位を共変にしてNil extends List[Nothing]とすることでval l: List[Int] =…