>>581
再帰があれば「無限に続く計算」は表せるでしょ。
さらにlazinessがあれば「無限に長いリスト」も定義できるし。
そういうのの意味論に極限(つーか不動点)が出てくる。

>>595
倫理的…(ぼそ)
ocamlならこんな感じ。破壊的代入とかは使ってないよ。
要するに再帰的な値の定義さえできれば良いわけだ。
強い型付けでも、再帰型があればノープロブレム。

# type t = T of t list | I of int ;;
type t = T of t list | I of int
# let rec x = [I 1; I 2; T x] ;;
val x : t list = [I 1; I 2; T [I 1; I 2; T [I 1; I 2; T (以下略)