Haskell の型システムは厳格でありながら柔軟で、大抵の場合は型を記述しなくてもうまく推論してくれる。だが、一見すると単純に見えるこのような定義でひっかかってしまった。 f :: (a->a) -> (b,c) -> (b,c) f g (x,y) = (g x, g y) x と y の型が同じであ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。