集合論に基づいた言語を作りたい

[322 デフォルトの名無しさん 2014/09/22(月) 11:34:43.17 ID:mNTZ+4bu]

>>305
>状態はあるけど考慮しなきゃいけないスコープが関数の引数に限られるってイメージなんだが。

それが関数に状態がないということ。
引数が同じなら同じ結果を返す。
数学的な関数の定義に等しい。