タプルとコンパイル、その他言い残し

• プログラムの実現はハードウェアでもソフトウェアでもよい。区別はしなくてもよい。
• 関数のパラメータ族（parameterized family）は2変数関数とみなせる、パラメータの具体的指定が引数の具体化
• 無名変数を、-, _, *, ・ などで表す習慣がある。
• 日常感覚が大事、日常感覚のほうが精密かも
• 例：(int×int)×bool と int×(int×bool) は違う型である。実際に、引数アダプターが必要になる。

ソースコード →(コンパイル)→ マシンコード

  ｜                           ／

 (記述)                      ／

  ↓                       ／

 関数 ←(実現／エミュレート)