2009-04-08から1日間の記事一覧

forall

Haskell の型システムは厳格でありながら柔軟で、大抵の場合は型を記述しなくてもうまく推論してくれる。だが、一見すると単純に見えるこのような定義でひっかかってしまった。 f :: (a->a) -> (b,c) -> (b,c) f g (x,y) = (g x, g y) x と y の型が同じであ…