Haskell nejen pro informatiky - NPFL080

• Anglický název: Haskell Not Only for Computer Scientists
• Zajišťuje: Ústav formální a aplikované lingvistiky (32-UFAL)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2009
• Semestr: zimní
• E-Kredity: 5
• Rozsah, examinace: zimní s.:2/1, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Další informace: https://wiki.ufal.ms.mff.cuni.cz/courses:pfl080
• Garant: RNDr. Otakar Smrž, Ph.D.
• Třída: DS, matematická lingvistika; Informatika Mgr. - Matematická lingvistika
• Kategorizace předmětu: Informatika > Počítačová a formální lingvistika

Anotace

čeština

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. Absolvování PRG005 či PRG040 není ani podmínkou, ani překážkou účasti. Složení referátů bude záviset na zájmu studentů.

Poslední úprava: SMRZ (17.05.2007)

angličtina

Haskell is a purely functional programming language. Its study invites to exploring the connections between various areas of computer science, logic, and linguistics. Haskell is also a modern means for describing the solutions of general problems in a precise, yet concise and comrehensible way. The lecture will be devoted to the characteristic features of the language, and we will meet them applied in the context of domain-specific languages. In the seminar, students will discuss their understanding of selected research papers.

Poslední úprava: SMRZ (17.05.2007)

Literatura

Hal Daumé III. 2002-2006. Yet Another Haskell Tutorial.

Paul Hudak. 2000. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press.

Paul Hudak, John Peterson, Joseph Fasel. 2000. A Gentle Introduction to Haskell.

John Hughes. 1984. Why Functional Programming Matters.

Richard A. Frost. 2006. Realization of Natural Language Interfaces Using Lazy Functional Programming. ACM Computing Surveys, Volume 38, Issue 4.

Peter Ljunglof. 2002. Pure Functional Parsing. An Advanced Tutorial. Licenciate thesis, Goteborg University & Chalmers University of Technology.

Philip Wadler. 2003. A Prettier Printer. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, Cornerstones of Computing, pages 223-243. Palgrave Macmillan, March 2003.

Poslední úprava: SMRZ (17.05.2007)

Sylabus

čeština

1. Základní funkce a datové typy

2. Výpočetní model a lambda kalkulus

3. Rekurze, abstrakce, funkce vyššího řádu

4. Polymorfní typy versus třídy typů

5. Monády a jejich využití

6. Parsing a pretty-printing

7. Doménově specifické jazyky

8. Související teoretické otázky

9. Užitečné nástroje pro programátory

Poslední úprava: SMRZ (17.05.2007)

angličtina

1. Elementary functions and data types

2. Computational model and lambda calculus

3. Recursion, abstraction, higher-order functions

4. Polymorphic types versus type classes

5. Monads and their use

6. Parsing and pretty-printing

7. Domain-specific languages

8. Related theoretical issues

9. Useful tools for the programmer

Poslední úprava: SMRZ (17.05.2007)