区別するなら ◯、しないなら／出来ないなら ☓、無意味なら - 。プログラミング言語に関しては、定義時と呼び出し時で二つ。△はやる気になればやれるが、普通はやらない、ほぼ☓。
| 集合圏 | デカルト閉圏 | TypeScript | Lean 4 | |
|---|---|---|---|---|
| 関数と関数データ | ◯ | - | ◯, ☓ | ◯, ☓ |
| 関数とフルカリー化関数 | ◯ | ◯ | ◯, ◯ | ◯, ☓ |
| フルカリー化関数と関数データ | ◯ | - | ◯, ◯ | △, △ |
区別するなら ◯、しないなら／出来ないなら ☓、無意味なら - 。プログラミング言語に関しては、定義時と呼び出し時で二つ。△はやる気になればやれるが、普通はやらない、ほぼ☓。
| 集合圏 | デカルト閉圏 | TypeScript | Lean 4 | |
|---|---|---|---|---|
| 関数と関数データ | ◯ | - | ◯, ☓ | ◯, ☓ |
| 関数とフルカリー化関数 | ◯ | ◯ | ◯, ◯ | ◯, ☓ |
| フルカリー化関数と関数データ | ◯ | - | ◯, ◯ | △, △ |