Předmět Advanced Functional Programming (IA014)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IA014 - Advanced Functional Programming, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
by the end of the course, students will:understand the theoretical foundations of functional programming;understand and be able to efficiently use modern/advanced concepts of functional programming languages (e.g. monads);know the limits of the functional programming paradigm;know some of the applications suited to the FP approach;be able to evaluate and use FP-based concepts in modern mainstream (non-FP) languages
Osnova
Theoretical foundations of functional programming (lambda calculus).Type system, type classes.Type system extensions.Monads, monad transformers.Generic programming.Purely functional data structures.Concurrency.DSL - Domain specific languages.Quickcheck - type based property testing.Dependent types: Agda and Coq
Literatura
O'SULLIVAN, Bryan, John GOERZEN a Don STEWART. Real World Haskell. First Edition. : O'Reilly Media, Inc., 2009. 670 s. ISBN 978-0-596-51498-3. URL infoOKASAKI, Chris. Purely functional data structures. Cambridge: Cambridge University Press, 1998. x, 220 s. ISBN 0-521-63124-6. infoMICHAELSON, Greg. An introduction to functional programming through Lambda calculus. Wokingham: Addison-Wesley Publishing Company, 1989. 320 s. ISBN 0-201-17812-5. infoJONES, Simon L. Peyton. The implementation of functional programming languages. New York: Prentice Hall, 1987. xvi, 445 s. ISBN 0-13-453325-9. info
Požadavky
Previous experience with functional programming, at least to the extent covered by the course IB015 - Non-imperative programming.
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
Mgr. Jan Obdržálek, PhD.