Return to search

Automatické liftování výrazu v typovaných funkcionálních jazycích / Automatic lifting of expressions for typed functional languages

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

Identiferoai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:341735
Date January 2014
CreatorsSmrž, Roman
ContributorsPudlák, Petr, Hric, Jan
Source SetsCzech ETDs
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/masterThesis
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0023 seconds