検索結果

…Lambda Calculi]. Unpublished manuscript, 1989-2001</ref>とは、[[ラムダ計算]]に対して[[評価戦略#値渡し|値渡し評価戦略]]の[[操作的意味論]]を与えるための[[抽象機械]]の1つである。CEKとは、機械の状態を構成する3つの要素である “Con …rth ACM SIGPLAN workshop on Continuations'', 2004.</ref>。ここで、値渡し評価戦略の代わりに[[評価戦略#名前呼び|名前渡し評価戦略]]を使うと[[Krivineの機械]]が導出される<ref name="cek_as_defunc"/>。 …

* [[評価戦略]] - [[先行評価]]、[[遅延評価]]、[[短絡評価]] [[Category:評価戦略]] …

これをそのまま[[ラムダ計算]]で使うと、[[評価戦略]]が値渡しだった場合には <code>('''Y''' g) が (g ('''Y''' g))</code> と展開された後も、引数の値を先に求めよ これまでの節で実装というよりは主に理論の観点から述べてきた、[[評価戦略]]が名前渡しの場合と値渡しの場合の違いは、実装においては、非正格(non-strict)な[[プログラミング言語]]（ないし処理系）と正格(stric …

…t \lnot</math>" を前置する仕方がある。これは Kolomogorov によってんされた。このような翻訳は、関数プログラミング言語の[[評価戦略|call-by-name]] [[継続渡しスタイル|continuation-passing style]] 翻訳への、証明とプログラムの間の [[カ …

{{lang|en|Simula}} は名前呼び（{{lang|en|call by name}}、[[評価戦略]]を参照）をサポートしているため {{lang|en|Jensen's Device}}（[[:en:Jensen's Device]]）を容易に実装 …

{{lang|en|'''Haskell'''}}（ハスケル）は[[評価戦略#正格でない評価|非正格]]な評価を特徴とする[[関数型言語|純粋関数型プログラミング言語]]である。名称は[[数学者]]であり[[論理学者]]である[ …

…）行ってもよいことを意味している。（より詳しくいえば、ラムダ計算は[[参照透過性|参照透過]]である。）このため、ラムダ計算を用いて種々の非決定的[[評価戦略]]をモデル化することができる。[[並列コンピューティング|並列性]]や[[並行計算|並行性]]をモデル化するためのより強力な手法として、[[Commu …

…Lispkit Lisp]]が、関数型プログラミングのテストベッド用に、[[SECDマシン]]上で開発された。その仕様としては、[[遅延評価]]を[[評価戦略]]に採り、[[レキシカルスコープ]]を採用している。以下の5つの関数と特殊形式、他にシンボルの<code>nil</code>と<code>t</co …