Závěrečná práce: Bc. Matej Kollár, učo 208115: Extensions of Haskell type system
Diplomová práce
Extensions of Haskell type system
Bc. Matej Kollár, učo 208115
Anotace
Cieľom práce je poskytnúť odlišný a zjednocujúci pohľad na typový Haskellu a jeho rozšírenia. Je načrtnutý formálny systém, v rámci ktorého je popísaných niekoľko rozšírení. Taktiež je preskúmaná súvislosť medzi typovými triedami a kindmi.
Abstract
The aim of the master's thesis is to offer a different and unifying look at Haskell type system and its extensions. We present a formal outline of the system. Several extensions are systematically described within this outline. An interesting connection between type classes and kinds is brought to light.
Zadání práce
Analyze the capabilities of the basic type system of functional language Haskell. List and systematize its various extensions. Examine whether selected extensions alter the typability of terms or the decidability of type inference or type checking.
Design your own extension or modify an existing one, if it appears useful from the point of view of simplicity, regularity, or unifying approach to different aspects of the type system.
Práce zkontrolována:
3. 6. 2011 10:27, RNDr. Libor Škarvada
3. 6. 2011 10:27, RNDr. Libor Škarvada
Jazyk práce
angličtina
Termín obhajoby
28. 6. 2011
Práce byla úspěšně obhájena
Vedoucí
RNDr. Libor Škarvada
abs PřF MU
abs PřF MU
Literatura
- PIERCE, Benjamin C. Types and programming languages. Cambridge, Mass.: MIT Press, 2002, xxi, 623 s. ISBN 0-262-16209-1.
Studijní program
Informatika
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Syntactic analysis and type evaluation in Haskell
Ing. Mgr. Pavel Mises, učo 172770 -
Kultura vzhledu a odívání českých politiků
Mgr. Tereza Moravová -
Návrh modelovacího jazyka nástroje DiVinE
Bc. Tomáš Janoušek, učo 207561 -
Interpretace DVE modelů v Haskellu
Mgr. Adam Šiška, učo 207864 -
Vyhodnocování úloh z funkcionálního programování v IS
RNDr. Martin Jonáš, Ph.D., učo 359542 -
Haskell Web Application for Generating Dobble Decks
Bc. Jan Ryzí -
Výtvarný rozbor kodexu Liber horarum z Moravské zemské knihovny v Brně
Mgr. et Mgr. Olga Slavíková -
Optimizmus, explanačný štýl a osobnostné preferencie
Mgr. Monika Rošková, učo 215675
Název
Vložil
Vloženo
Práva
Složky
Soubory
-
Přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka Přidat. -
Další operace se soubory
Podrobnosti lze zjistit označením příslušného řádku. -
Pohled pro experty
Pro častou práci je možné zvolit režim Více možností. -
Vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do adresního řádku. -
Rychlý přístup k souborům
Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.