Unlambda

Az Unlambda egy David Madore által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ.

A nyelv alapját hét primitív függvény és az alkalmazás/applikáció művelete alkotja. Az alkalmazás operátor jele `, a függvények a következők: s, k, i, v, d, c és .x, ahol az x helyén tetszőleges betű állhat (ez egy függvénynek számít) és az r függvény (egy .x szinonima, az x helyén az újsor karakter áll). Az unlambda nyelv 2. változatában ezen kívül 4 újabb primitív függvény található ( e, @, ?x, | ).

Ez a nyelv állítólag Turing-teljes (Turing-ekvivalens) – amennyiben a lambda-kalkulus is az (ui. eddig nem sikerült formálisan bizonyítani a Turing-gép és a lambda-kalkulus ekvivalenciáját, azaz hogy a Turing-gépen megvalósítható algoritmusok minden esetben megvalósíthatóak tisztán lambda-kalkulusban is). A nyelv tartalmaz még be- és kimeneti funkciókat is, így teljes értékű és használható programnyelv. Az ezoterikus programnyelvek közé sorolják.

Lásd még

• SKI combinator calculus — egy kombinátor-kalkulus, amely nagyon hasonlít az Unlambda kalkulusára.

Külső hivatkozások

• The Unlambda Programming Language