Vyhodnocování úloh z funkcionálního programování v IS – RNDr. Martin Jonáš
RNDr. Martin Jonáš
Bakalářská práce
Vyhodnocování úloh z funkcionálního programování v IS
Assessment of functional programming exercises
Anotace:
Práce se zabývá implementací systému, který bude schopný porovnávat rovnost typů a testováním ověřovat rovnost dvou zadaných výrazů. V teoretické části je popsán typový systém jazyka Haskell a použité knihovny a rozšíření včetně příkladů jejich použití. V další části jsou pak popsány implementační detaily výsledného programu. V závěrečné části je navrhnuto několik dalších možných vylepšení implementovaného …víceAbstract:
The thesis deals with a implementation of a system capable of comparing two types and testing equality of two expressions by testing. Theoretical part describes Haskell type system and libraries and language extensions used during implementation, including example codes. Next part describes implementation details of the resulting program. In the final part we propose several further improvements to …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 21. 5. 2012
Identifikátor:
https://is.muni.cz/th/ija9a/
Obhajoba závěrečné práce
- Obhajoba proběhla 18. 6. 2012
- Vedoucí: RNDr. Libor Škarvada
- Oponent: prof. RNDr. Jiří Barnat, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.