翻訳と辞書
Words near each other
・ Supercluster (band)
・ Supercluster (disambiguation)
・ Supercluster (genetic)
・ SuperClásico
・ Superclásico
・ Superclásico de las Américas
・ Superclásico de Quito
・ Supercoach
・ SuperCoach Finals
・ SuperCobra
・ Supercock
・ Supercoco
・ SuperCollider
・ Supercollider (disambiguation)
・ Supercollider / The Butcher
Supercombinator
・ SUPERCOMMUNITY
・ Supercommutative algebra
・ Supercompact
・ Supercompact cardinal
・ Supercompact space
・ Supercompensation
・ Supercomputer
・ Supercomputer (disambiguation)
・ Supercomputer architecture
・ Supercomputer Education Research Centre
・ Supercomputer operating systems
・ Supercomputer Systems
・ Supercomputing and Visualization Center of Madrid
・ Supercomputing Challenge


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Supercombinator : ウィキペディア英語版
Supercombinator

A supercombinator is a mathematical expression which is fully bound and self-contained. It may be either a constant or a combinator where all the subexpressions are supercombinators. Supercombinators are used in the implementation of functional languages.
In mathematical terms, a lambda expression ''S'' is a supercombinator of arity ''n'' if it has no free variables and is of the form λx1.λx2...λxn.''E'' (with ''n'' ≥ 0, so that lambdas are not required) such that ''E'' itself is not a lambda abstraction and any lambda abstraction in ''E'' is again a supercombinator.
== See also ==

* Lambda lifting

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Supercombinator」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.