酒井さんのふりに反応してみようかと。 これまで、Cleanについては型理論な方面について論文をチェックしたりしてきたわけではないので、私の説明は多分に感覚的なものになるのですが。 Cleanの正格性注釈は、新たな型を作り出しているのではなく、式が評価…

add :: !Int !Int -> Int add x y = x + yと add :: !Int -> (Int -> Int) add x = \y = x + yを区別する理由を書こうかと思ったのですが、ここを読んでいる人にとってはあたりまえのことになりそうだったので、省略。 要は、低レベルでの関数のアリティが知…