Both sides previous revision
Previous revision
Next revision
|
Previous revision
Next revision
Both sides next revision
|
courses:pfl080 [2007/10/12 00:03] ufal |
courses:pfl080 [2007/11/15 15:00] smrz |
^ Platnost | od ZS 2007 | | ^ Platnost | od ZS 2007 | |
^ Souřadnice | Čt 10:40--13:05 SU1 | | ^ Souřadnice | Čt 10:40--13:05 SU1 | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
===== Osnova ===== | ===== Osnova ===== |
| |
11.10.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl.pdf|Introduction -- Types and Polymorphism -- Laziness]] | 11.10.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-01.pdf|Introduction -- Types and Polymorphism -- Laziness]] |
| |
| 18.10.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-02.pdf|"Why FP Matters" -- Higher-Order Functions -- Tree Structures]] |
| |
| 25.10.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-03.pdf|"Haskell and XML" -- Type Classes -- Pretty-Printing]] |
| |
| 01.11.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-04.pdf|"A Prettier Printer" -- Monads -- Parsing]] |
| |
| 08.11.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-05.pdf|"Monadic Parsing in Haskell" -- Monad Laws -- Input/Output]] |
| |
| 15.11.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-06.pdf|"Cabal" -- "Haddock" -- Functional Dependencies]] |
| |
| 22.11.2007 [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Fun with Functional Dependencies" -- Existential Types -- Curry-Howard Correspondence]] |
| |
===== Anotace ===== | ===== Anotace ===== |
- Související teoretické otázky | - Související teoretické otázky |
- Užitečné nástroje pro programátory | - Užitečné nástroje pro programátory |
| |
| |
| |
[[http://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]] | [[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://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NPFL080|Studijní informační systém]] |
| |