昨日(id:takatoh:20060506:type)の最後にあげた関数の型 Prelude> :type map (\x -> x * 2) map (\x -> x * 2) :: (Num a) => [a] -> [a]の中に現れる (Num a) => という部分は,a が Num クラスのインスタンスでなければならないことを表している。つまり…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。