Zpět na vyhledávání

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 …more
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 …more
 

Keywords

Haskell typový systém QuickCheck Hint testování
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.