Knjižnica monadskog kombinatora parsera za OCaml programski jezik

master's thesis

• Title (english): Monadic Parser Combinator Library for OCaml Programming Language
• Author: Zrinka Gavran
• Mentor: Ivica Botički (mentor)
• Committee member: Ivica Botički (predsjednik povjerenstva)
• Committee member: Vedran Mornar (član povjerenstva)
• Committee member: Zdravko Galić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2016-07-13, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing

Abstract

Čisti funkcijski jezici koriste monade za strukturiranje procedura koje uključuju operacije poput onih iz imperativne paradigme. Korištenjem monada se dobro poznati koncepti programiranja mogu opisati na način da se očuvaju vrijedna svojstva funkcijskih jezika poput referencijalne prozirnosti. Na taj je način omogućeno očuvanje čistog funkcijskog jezika bez većih proširenja semantike jezika. Iako su monade standardni dio nekih funkcijskih programskih jezika, kod drugih takva podrška ne postoji. U okviru ovog diplomskog rada potrebno je detaljno proučiti programski jezik OCaml te koncept monada i napraviti pregled programskih jezika koji koriste monade. Potrebano je istražiti način na koji je monade moguće u graditi u programski jezik OCaml te ih i implementirati. Potom je potrebno kombiniranjem monada implementirati parser. Na nizu primjera potrebno je demonstrirati način na koji se ugrađene monade prevode u programe koje je moguće izvoditi na odabranom ciljnoj platformi.

Abstract (english)

Pure functional languages use monads for structuring procedures that include operations like ones found in structured programming. By describing well known programming concepts through monad structure, we can include them in purely functional languages without major extensions to the language’s semantics. Even though some functional languages provide monads in their standard core, for others that is not the case. The purpose of this thesis is to study OCaml programming language, the concept of monads and how to implement them in OCaml by building a parser combinator library.

• Keywords: parser; monade; OCaml programski jezik; funkcijski jezici
• Keywords (english): parser; monads; OCaml programming language; functional languages
• Language: english
• URN:NBN: urn:nbn:hr:168:025623
• Study programme: Title: Computing; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2018-02-06 08:52:00