[ 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 17:20]
ufal 		courses:pfl080 [2007/04/11 21:30]
ufal
Line 8: Line 8:
 ^ Rozsah    | 2/1 Z+Zk         | ^ Rozsah    | 2/1 Z+Zk         |
 ^ Platnost  | od ZS 2007       | ^ Platnost  | od ZS 2007       |
 +
  
  
 ===== 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.
 +
 +Předmět je určen pro studenty magisterského nebo doktorandského studia zmiňovaných oborů. Absolvování [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG005|PRG005]] není ani podmínkou, ani překážkou účasti. S některými probíranými tématy se lze setkat i v [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG040|AIL006]] příp. [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG040|PRG040]], 
  
  
Line 31: Line 34:
 ===== Sylabus ===== ===== Sylabus =====
  
-  - Funkce a datové typy +  - Základní funkce a datové typy 
-  - Rekurze, funkce vyššího řádu+  - Výpočetní model a lambda kalkulus 
 +  - Rekurze, abstrakce, funkce vyššího řádu
   - Polymorfní typy versus třídy typů   - Polymorfní typy versus třídy typů
   - Monády 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
-  - Doplňující otázky z programování +  - Související teoretické otázky 
 +  - Užitečné nástroje pro programátory
  
  
 ===== Odkazy ===== ===== Odkazy =====
  
-[[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced Programming by B. C. Pierce]] -- volná inspirace pro tento předmět+[[http://www.cis.upenn.edu/~bcpierce/courses/advprog/|Advanced Programming by Benjamin C. Pierce]] -- volná inspirace pro tento předmět
  
 [[http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/|Advanced Functional Programming at Saarbrücken]]  [[http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/|Advanced Functional Programming at Saarbrücken]] 
 +
 +[[http://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]]
  
 [[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Studijní informační systém]] [[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Studijní informační systém]]
  

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