Automatic lifting of expressions for typed functional languages
Automatické liftování výrazu v typovaných funkcionálních jazycích
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/72617Identifikátory
SIS: 145252
Kolekce
- Kvalifikační práce [10690]
Autor
Vedoucí práce
Oponent práce
Hric, Jan
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
9. 9. 2014
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
monads, lifting, functional languages, functional programmingKlíčová slova (anglicky)
monads, lifting, functional languages, functional programmingPři programování v typovaných funkcionálních jazycích je často potřeba kombinovat čisté a monadické operace (popřípadě jinou reprezentaci postran- ních efektů), nicméně potřebné liftování musí programátor udělat ručně a může vést k nepřehlednému kódu. V této práci zkoumáme možnosti, jak by tuto činnost mohl zastat automaticky kompilátor. Je zde popsáno několik metod, z nichž výsledná převádí daný problém na řešení soustavy lineárních diofantických rovnic. Kromě monád uvažujeme také aplikativní funktory ja- kožto alternativní přístup k práci s postranními efekty výpočtů. 1
In typed functional programming there is often the need for combining pure and monadic (or other effectful) computations, but the required lifting must be done manually by the programmer and may result in cluttered code. This thesis explores ways to allow the compiler to perform this task automat- ically. Several possible approaches are described, where the final one reduces the task to solving a system of linear diophantine equations. Apart from monads, the described method is also considered for the case of applicative functors as another abstraction to represent effectful operations. 1
Citace dokumentu
Metadata
Zobrazit celý záznamSouvisející záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Funkční diversita společenstev
Výsledek obhajoby: OBHÁJENODžamba, Roman (Univerzita Karlova, Přírodovědecká fakulta, 2011)Datum obhajoby: 14. 6. 2011Funkčná diverzita je dôležitou súčasťou biodiverzity ako celku. Hodnota a rozsah funkčných charakteristík a počet a zloženie funkčných typov má kľúčový význam pre fungovanie ekosystémov, či už z krátkodobého alebo dlhodobého ... -
Function Spaces and Algebras
Výsledek obhajoby: OBHÁJENOMihula, Zdeněk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Datum obhajoby: 15. 6. 2015Hlavním cílem této práce je rozhodnout, kdy je prostor funkcí ekvivalentní algebře, tj. kdy je uzavřený na bodové násobení funkcí. Nejprve je uvedena teorie určitých prostorů funkcí, konkrétně Lebesgueovy Lp prostory, třída ... -
Presentation sentences in fiction and academic prose: a syntactico-semantic, FSP and textual view
Výsledek obhajoby: OBHÁJENORohrauer, Leona (Univerzita Karlova, Filozofická fakulta, 2015)Datum obhajoby: 12. 6. 2015Předložená disertační práce si klade za cíl prozkoumat syntaktické realizace prezentační škály (zkr. prezentační věty) v rámci Firbasovy teorie o aktuálněvětném členění (AVČ). Prezentační věty jsou zkoumány z několika ...