[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

• ÚFAL Wiki Home
• ÚFAL Home
• Sitemap
• RSS
• ÚFAL calendar
• Recent changes
• Login
• Hledat:

[ Back to the navigation ]

Differences

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

View differences: Side by SideInline Go

Link to this comparison view

Both sides previous revision Previous revision 2007/11/28 13:46 smrz 2007/11/22 13:25 smrz 2007/11/15 15:00 smrz 2007/11/15 15:00 smrz 2007/11/15 14:52 smrz 2007/11/14 11:49 smrz 2007/11/14 00:14 smrz 2007/11/13 14:24 smrz 2007/11/07 22:24 smrz 2007/11/07 22:20 smrz 2007/11/01 14:23 smrz 2007/10/25 14:56 smrz 2007/10/19 23:12 smrz 2007/10/19 23:11 smrz 2007/10/12 00:03 ufal 2007/10/11 23:48 ufal 2007/09/25 18:34 smrz 2007/05/17 20:58 ufal 2007/04/11 22:04 ufal PFL080 česky2007/04/11 22:02 ufal PFL080 česky2007/04/11 21:45 ufal 2007/04/11 21:30 ufal 2007/04/11 21:14 ufal 2007/04/01 22:45 ufal 2007/03/30 22:35 ufal PFL080 česky2007/03/30 22:30 ufal PFL080 česky2007/03/30 20:10 ufal 2007/03/30 20:08 ufal 2007/03/30 19:32 ufal 2007/03/30 19:31 ufal 2007/03/30 17:22 ufal 2007/03/30 17:20 ufal 2007/03/30 17:04 ufal 2007/03/30 16:52 ufal 2007/03/30 16:51 ufal 2007/03/30 16:45 ufal 2007/03/30 16:30 ufal 2007/03/30 16:30 ufal 2007/03/30 16:14 ufal 2007/03/30 16:14 ufal 2007/03/30 16:14 ufal 2007/03/30 16:04 ufal 2007/03/30 15:49 ufal 2007/03/30 15:35 ufal 2007/03/30 15:31 ufal 2007/03/30 14:58 ufal 2007/03/30 14:15 ufal 2007/03/30 14:07 ufal 2007/03/30 14:07 ufal 2007/03/30 13:48 ufal 2007/03/30 13:46 ufal vytvořeno Go Next revision		Previous revision 2007/12/10 15:35 smrz 2007/12/10 15:34 smrz 2007/11/28 14:15 smrz 2007/11/28 13:46 smrz 2007/11/22 13:25 smrz 2007/11/15 15:00 smrz 2007/11/15 15:00 smrz 2007/11/15 14:52 smrz 2007/11/14 11:49 smrz 2007/11/14 00:14 smrz 2007/11/13 14:24 smrz 2007/11/07 22:24 smrz 2007/11/07 22:20 smrz 2007/11/01 14:23 smrz 2007/10/25 14:56 smrz 2007/10/19 23:12 smrz 2007/10/19 23:11 smrz 2007/10/12 00:03 ufal 2007/10/11 23:48 ufal 2007/09/25 18:34 smrz 2007/05/17 20:58 ufal 2007/04/11 22:04 ufal PFL080 česky2007/04/11 22:02 ufal PFL080 česky2007/04/11 21:45 ufal 2007/04/11 21:30 ufal 2007/04/11 21:14 ufal 2007/04/01 22:45 ufal 2007/03/30 22:35 ufal PFL080 česky2007/03/30 22:30 ufal PFL080 česky2007/03/30 20:10 ufal 2007/03/30 20:08 ufal 2007/03/30 19:32 ufal 2007/03/30 19:31 ufal 2007/03/30 17:22 ufal 2007/03/30 17:20 ufal 2007/03/30 17:04 ufal 2007/03/30 16:52 ufal 2007/03/30 16:51 ufal 2007/03/30 16:45 ufal 2007/03/30 16:30 ufal 2007/03/30 16:30 ufal 2007/03/30 16:14 ufal 2007/03/30 16:14 ufal 2007/03/30 16:14 ufal 2007/03/30 16:04 ufal 2007/03/30 15:49 ufal 2007/03/30 15:35 ufal 2007/03/30 15:31 ufal 2007/03/30 14:58 ufal 2007/03/30 14:15 ufal 2007/03/30 14:07 ufal Go Next revision Both sides next revision
courses:pfl080 [2007/03/30 19:31] ufal		courses:pfl080 [2007/04/11 21:14] 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. Absolvování [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG005|PRG005]], příp.
		+	[[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG040|PRG040]], není ani podmínkou, ani překážkou účasti.
Line 35:		Line 39:
	- 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
Line 44:		Line 48:
	===== 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 ]