Vyhodnocování úloh z funkcionálního programování v IS – RNDr. Martin Jonáš
RNDr. Martin Jonáš
Bachelor's thesis
Vyhodnocování úloh z funkcionálního programování v IS
Assessment of functional programming exercises
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 21. 5. 2012
Identifier:
https://is.muni.cz/th/ija9a/
Thesis defence
- Date of defence: 18. 6. 2012
- Supervisor: RNDr. Libor Škarvada
- Reader: prof. RNDr. Jiří Barnat, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.