型とか関数とかを集合論の観点からとらえた基礎的な話 型 関数 そもそもこの知識すら無かった。 今までまるで理解できなかったWikipediaみたいな事言ってくる人達の言ってる内容、理解できそうな部分が増えそう。 多相 f :: Int -> Int みたいな固定の型を受け取るような関数じゃなく f :: a -> b みたいに複数の型を受け取れる関数を多相な関数というらしい。*1 多相にもいくつか分類があって、HaskellやJavaはJavaのジェネリクスはその中でもパラメトリック多相*2というものらしい。 @kamekoopa 「Java はパラメトリック多相」ではなく「Java のジェネリクスはパラメトリック多相」です.もう1つのインクルージョン多相は「継承による多態」のことで, これも Java は備えてますよね. 2014-07-30 09:18:12 via TweetDeck