Superkombinátor - Supercombinator

Tento článek je věcná přesnost je sporný. Relevantní diskuse je k dispozici na internetu diskusní stránka. Pomozte prosím zajistit, aby sporná prohlášení byla spolehlivě získáván. (Listopad 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Tento článek možná bude muset být přepsáno vyhovět požadavkům Wikipedie standardy kvality. Můžeš pomoct. The diskusní stránka může obsahovat návrhy. (Listopad 2015)

A superkombinátor je matematické vyjádření který je plně svázaný a soběstačný. Může to být buď a konstantní nebo a kombinátor kde všechny subexprese jsou superkombinátory. Superkombinátory se používají při implementaci funkčních jazyků.

Z matematického hlediska a výraz lambda S je superkombinátorem arity n pokud nemá žádné volné proměnné a má tvar λx₁.λx₂... λx_n.E (s n ≥ 0, takže lambdy nejsou vyžadovány) takové E sám o sobě není lambda abstrakce a jakákoli lambda abstrakce v E je opět superkombinátor.

Viz také

• Lambda zvedání

Reference

• S. L. Peyton Jones, Implementace funkčních programovacích jazyků. Prentice Hall, 1987.