haskell-jp / sg-tfwh #1 at 2021-06-27 13:22:29 +0900

@nobsun 前回の読書会で読んだあたりの訳についてこのスレッドに書いていきます。

p.309
最初の運算のために,match を xmatch を使って書き直す
=>
最初の運算として

p.288
cross (f,g) は今のところ f * g と書くことにする
=>
これから cross (f,g) は f * g と書くことにする

p.293
少し考えれば,p の値としては以下の 3 つが必要である
=>
必要であることがわかる

p.292
次に項は識別子すなわち変数か定数で引数がある可能性があるもの
=>
変数か引数が0個以上続く定数