2017-03-22から1日間の記事一覧

Haskellの太いほうの矢印について

Haskellには頻出する矢印が2つある(->と=>)。 なかでも=>(型制約導入子?)がくせものである。 くせものポイント1:数学の「ならば」とは(一見)違う意味を持つ。 くせものポイント2:もちろん日本語の「ならば」とも違う意味を持つ。 くせものポイン…