Vyhodnocování úloh z funkcionálního programování v IS

RNDr. Martin Jonáš

Bakalářská práce

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 systému.

Abstract:

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 the implemented system.

Klíčová slova

Haskell, typový systém, QuickCheck, Hint, testování

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 21. 5. 2012

Obhajoba závěrečné práce

• Obhajoba proběhla 18. 6. 2012
• Vedoucí: RNDr. Libor Škarvada
• Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika