いろいろな引数渡しの方式 — 値呼び・参照呼び・名前呼び・必要呼び3.11 いろいろな引数渡しの方式 — 値呼び・参照呼び・名前呼び・必要呼び 参照呼出し 遅延評価と call-by-need, call-by-name 前節までの言語では，値呼び出しに基づいて関数呼び出しの際の引数渡しを実 現してきた．本節では，FORTRAN, Pascal などに見られる 参照呼出し(call-by-reference)と，遅延評価(lazy evaluation)を使った， Algol60 に見られる 名前呼出し(call-by-name)，Haskell などに見 られる，必要呼出し(call-by-need)といった引数渡しの方法をみてい く． 3.11.1 参照呼出し 前節で説明したように，値呼出しの下では，関数のパラメータに対する代入は 関数呼出し側に影響をおよぼすことはない．つまり，関数呼出しの前後で，あ る変数の内容が変わることがなく，呼出し側・
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-05w/text/eopl003.html
Objective Caml 入門
