- purely functional code ＝ pure code ＝ 純コード
- imperative code ＝ impure code ＝ 不純コード
- transpile to pure code ＝ purify ＝ 浄化
- impure block ＝ Kleisli block
- impure function ＝ command
- impure program ＝ script
- impure program fragment ＝ statement
| 純な世界 | 不純な世界 |
| 純データ型 | M-不純データ型 |
| 関数 | M-不純関数＝M-コマンド |
| 純関数型プログラム | コマンドスクリプト |
