Funkcionálne jazyky
- Haskell
Haskell je príkladom čisto funkcionálneho jazyka. Ako väčšina funkcionálnych jazykov, aj haskell je založený na použití lambda foriem (lambda calculus). Mimochodom meno Haskell zdedil po Haskell Brooks Currym. Jeho práce sú pokladané za základ funkcionálnych programovacích jazykov.
Užitočné odkazy: Domovská stránka - Lisp (LISt Processor)
Lisp je funkcionálny programovací jazyk, čo znamená, že program v lispe je množina funkcií komunikujúcich predávaním hodnôt. Lisp, ako už napovedá názov tohoto programovacieho jazyka (LISt Processor - spracovateľ zoznamov), je programovací jazyk vhodný na spracovanie zoznamov. Celý program v lispe je vlastne zoznam.
Užitočné odkazy: Domovská stránka Možnosti využitia lispu - APL/J (A Programming Language)
Vytvorený pôvodne pre zápis matematických algoritmov. Dlho ním aj bol, ale okolo roku 1964 sa dočkal prvej implementácie (APL\360). APL nie je čistým funkcionálnym jazykom. APL využíva neštandardné znaky (Ś„ľ Ş ’ľ), využíva dynamické určovanie typov, binárne infixové operácie, alebo unárne prefixové. Na rozdiel od dobrých zvykov sa výrazy vyhodnocujú sprava doľava a z riadiacich štruktúr (cykly) tu nájdete len vetvenie.
Užitočné odkazy: Záujmová skupina APL/J pri ACM Odborný časopis Britskej APL spoločnosti - ML (Standard ML)
ML je rodina jazykov zameraných prevažne na funkcionálne programovanie. Do tejto množiny patria jazyky ako Standard ML, CAML, CAML Light.
Užitočné odkazy: - Miranda (tm)
Miranda je čisto funkcionálny jazyk s volnejšou sémantikou. Miranda bol prvý funkcionálny jazyk určený nie pre výuku, ale ako komerčný produkt. Miranda sa teda používala pri implementácii väčších komerčných systémov. V Mirande je dokonca napísaný aj operačný systém KAOS.
Užitočné odkazy: Domovská stránka - Sisal (Streams and Iteration in a Single Assignment Language)
Sisal je čisto funkcionálny jazyk (program pozostáva len z definícii a volaní funkcií) s automatickým detekovaním a využívaním paralelizmov určený najmä pre vedecké výpočty. Novým používateľom Sysale môže pomôcť jeho jednoduchá syntax podobná Pacsalu.