UnLambda programozási nyelv
A Wikipédiából, a szabad lexikonból.
 |
Ezt a cikket formázni kellene a wiki jelölőnyelv szabályai alapján. |
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 funkció és az alkalmazás/applikáció művelete alkotja. Az alkalmazás opertátor jele `, a funkciók a következők: k, s, i, v, d, c és .x, ahol az x helyén tetszőleges betű állhat (ez egy funkciónak számít) és az r funkció (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 funkció található ( e, @, ?x, | ).
Ez a nyelv állítólag Turing-teljes (Turing-ekvivalens ?) - amennyiben a lambda-kalkulus is az (ui. a lambda-kalkulusnál azt írja a wiki, hogy eddig nem sikerült formálisan bizonyítani, 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.
 |
Ez az informatikai tárgyú lap még csak csonk (azaz erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle! |
Based on work by