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

RNDr. Martin Jonáš

Bachelor's thesis

Assessment of functional programming exercises

Anotácia:

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.

Kľúčové slová

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

Jazyk práce: Czech

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
• Vedúci: RNDr. Libor Škarvada
• Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics