[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

You are here: start » courses » pfl080

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Next revision Both sides next revision
courses:pfl080 [2007/03/30 19:31]
ufal 		courses:pfl080 [2007/03/30 20:10]
ufal
Line 12: Line 12:
 ===== Anotace ===== ===== Anotace =====
  
-[[http://www.haskell.org/|Haskell]] je čistě funkcionální programovací jazyk. Jeho studium vybízí k hledání souvislostí mezi různými oblastmi informatiky, logiky i lingvistiky. Zároveň je to ale moderní prostředek pro přesný, přitom stručný a srozumitelný popis řešení obecných problémů.+[[http://www.haskell.org/|Haskell]] je čistě funkcionální programovací jazyk. Jeho studium vybízí k hledání souvislostí mezi různými oblastmi informatiky, logiky i lingvistiky. Haskell je ale též moderní prostředek pro přesný, přitom stručný a srozumitelný popis řešení obecných problémů.
  
 V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury. V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury.
Line 35: Line 35:
   - Rekurze, abstrakce, funkce vyššího řádu   - Rekurze, abstrakce, funkce vyššího řádu
   - Polymorfní typy versus třídy typů   - Polymorfní typy versus třídy typů
-  - Monády různých druhů a jejich využití+  - Monády a jejich využití
   - Parsing a pretty-printing   - Parsing a pretty-printing
   - Doménově specifické jazyky   - Doménově specifické jazyky

[ Back to the navigation ] [ Back to the content ]