∧ を再定義する演習に取り組んでいるときに、検算を map で実行しようと考えた。 ∧ を and という名前の関数で定義したとして、これは二引数の（見かけをもったカリー化された、 Bool → Bool → Bool の型を持つ）関数になる。一方、ふたつの Bool 変数の全組…

大枝は木の枝である。 この大枝から、ぼくらはメイ氏の寝室をのぞく。 この大枝から、ぼくらは手錠、皮の拘束具、そして泣き叫ぶ小さな男の子を見る。 A bough is a branch of a tree. From this bough, we can see Mr May's bedroom. From this bough, we c…