最近の検索
検索オプション
どんな型でも成り立つようなときたとえば
pop :: [a] -> a
の、aはanyらしさがあるが、ある種の型には成り立つようなとき、たとえば
plus_one :: n -> n
のnは数値しか張れなくて、someかなあという気持ちになる
が、ここで
n :: Numeric => n -> n
なら、any Numeric感でanyな気持ちに
どんな型でも成り立つようなときたとえば
pop :: [a] -> a
の、aはanyらしさがあるが、ある種の型には成り立つようなとき、たとえば
plus_one :: n -> n
のnは数値しか張れなくて、someかなあという気持ちになる
が、ここで
n :: Numeric => n -> n
なら、any Numeric感でanyな気持ちに