| dbo:abstract
|
- Az Unlambda egy által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ. Az ezoterikus programozási nyelvek közé sorolható, mivel a lambda-kalkulus és a kombinátorok használata nem elterjedt a hétköznapi életben. 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, | ). A nyelv tartalmaz még be- és kimeneti funkciókat is, Ãgy teljes értékű és használható programnyelv. 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). Az ezoterikus programnyelvek közé sorolják. Hello World program megvalósÃtása unlambda nyelven: `r```````````.H.e.l.l.o. .w.o.r.l.di (hu)
- Az Unlambda egy által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ. Az ezoterikus programozási nyelvek közé sorolható, mivel a lambda-kalkulus és a kombinátorok használata nem elterjedt a hétköznapi életben. 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, | ). A nyelv tartalmaz még be- és kimeneti funkciókat is, Ãgy teljes értékű és használható programnyelv. 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). Az ezoterikus programnyelvek közé sorolják. Hello World program megvalósÃtása unlambda nyelven: `r```````````.H.e.l.l.o. .w.o.r.l.di (hu)
|
| rdfs:comment
|
- Az Unlambda egy által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ. Az ezoterikus programozási nyelvek közé sorolható, mivel a lambda-kalkulus és a kombinátorok használata nem elterjedt a hétköznapi életben. Az ezoterikus programnyelvek közé sorolják. Hello World program megvalósÃtása unlambda nyelven: `r```````````.H.e.l.l.o. .w.o.r.l.di (hu)
- Az Unlambda egy által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ. Az ezoterikus programozási nyelvek közé sorolható, mivel a lambda-kalkulus és a kombinátorok használata nem elterjedt a hétköznapi életben. Az ezoterikus programnyelvek közé sorolják. Hello World program megvalósÃtása unlambda nyelven: `r```````````.H.e.l.l.o. .w.o.r.l.di (hu)
|
