Zobrazit minimální záznam

Implementation of a statically typed, lazy, pure functional programming language



dc.contributor.advisorCulpepper Ryan Michael
dc.contributor.authorJan Sliacký
dc.date.accessioned2022-08-25T22:52:21Z
dc.date.available2022-08-25T22:52:21Z
dc.date.issued2022-08-25
dc.identifierKOS-1065781920305
dc.identifier.urihttp://hdl.handle.net/10467/103362
dc.description.abstractTato práce se věnuje implementaci funkcionálního, staticky typovaného programovacího jazyka inspirovaného jazykem Haskell. Hlavním bodem zájmu práce je implementace typového systému pro tento jazyk. Implementace vychází z několika zdrojů zabývajících se implementací konkrétních aspektů typového systému. Tato práce se také zabývá dalšími aspekty implementace programovacího jazyka--lexikální a syntaktickou analýzou, překladem do menšího funkcionálního jazyka a tzv. non-strict evaluací.cze
dc.description.abstractThis thesis presents an implementation of a functional, statically typed programming language inspired by Haskell. It mainly focuses on the challenges of implementing the type system for such an language. The implementation is based on multiple resources covering implementations of different type system features. The thesis also covers other aspects of the language implementation--lexical and syntactic analysis, translation into a smaller functional core language, and non-strict evaluation.eng
dc.publisherČeské vysoké učení technické v Praze. Vypočetní a informační centrum.cze
dc.publisherCzech Technical University in Prague. Computing and Information Centre.eng
dc.rightsA university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmleng
dc.rightsVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.htmlcze
dc.subjectfunkcionální programovací jazykcze
dc.subjecttypový systémcze
dc.subjectHaskellcze
dc.subjecttypová inferencecze
dc.subjectobousměrná typová analýzacze
dc.subjecttypy vyššího stupněcze
dc.subjecttypové třídycze
dc.subjectkvalifikované typycze
dc.subjectlazinesscze
dc.subjecttypy vyššího řáducze
dc.subjectpure functional programming languageeng
dc.subjecttype systemeng
dc.subjectHaskelleng
dc.subjecttype inferenceeng
dc.subjectbidirectional type analysiseng
dc.subjecthigher-rank typeseng
dc.subjecttype classeseng
dc.subjectqualified typeseng
dc.subjectlazinesseng
dc.subjecthigher kinded typeseng
dc.subjectdictionary passingeng
dc.titleImplementace staticky typovaného, lazy, funkcionálního jazykacze
dc.titleImplementation of a statically typed, lazy, pure functional programming languageeng
dc.typediplomová prácecze
dc.typemaster thesiseng
dc.contributor.refereeKřikava Filip
theses.degree.disciplineSystémové programovánícze
theses.degree.grantorkatedra teoretické informatikycze
theses.degree.programmeInformatikacze


Soubory tohoto záznamu




Tento záznam se objevuje v následujících kolekcích

Zobrazit minimální záznam