関数プログラミング(3)

関数プログラミングで無限に行われる入出力を書くときにどこに書くのかというだいたいの説明はできたのですが、厳密な説明ではないところが多いのでちゃんと説明できているのかはまだよくわかりません。この点をはっきりさせるために関数プログラミングでも「極限」で定義できるかどうかについて考えてみます。まず関数プログラミングを表す数学的構造はどのようなものにすれば良いか、今後考えていきます。