2014-03-20から1日間の記事一覧

Haskellで関数が左結合だということ

print filter f xs とした時に、なんでエラーが出るかってわけ。 a b c d と並んでいるものは、関数適用において左結合であるHaskellによれば ((a b) c) d と解釈される。 よって関数aにbを食わせてcを食わせてdを食わせた結果何かが起こるので、aの型は a :…