prikaz prve stranice dokumenta Knjižnica monadskog kombinatora parsera za OCaml programski jezik
No public access
master's thesis
Knjižnica monadskog kombinatora parsera za OCaml programski jezik
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2016. urn:nbn:hr:168:025623
Gavran, Zrinka
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Gavran, Z. (2016). Knjižnica monadskog kombinatora parsera za OCaml programski jezik (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:025623

Gavran, Zrinka. "Knjižnica monadskog kombinatora parsera za OCaml programski jezik." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2016. https://urn.nsk.hr/urn:nbn:hr:168:025623

Gavran, Zrinka. "Knjižnica monadskog kombinatora parsera za OCaml programski jezik." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2016. https://urn.nsk.hr/urn:nbn:hr:168:025623

Gavran, Z. (2016). 'Knjižnica monadskog kombinatora parsera za OCaml programski jezik', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 16 June 2024, https://urn.nsk.hr/urn:nbn:hr:168:025623

Gavran Z. Knjižnica monadskog kombinatora parsera za OCaml programski jezik [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2016 [cited 2024 June 16] Available at: https://urn.nsk.hr/urn:nbn:hr:168:025623

Z. Gavran, "Knjižnica monadskog kombinatora parsera za OCaml programski jezik", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2016. Available at: https://urn.nsk.hr/urn:nbn:hr:168:025623

Metadata
TitleKnjižnica monadskog kombinatora parsera za OCaml programski jezik
Title (english)Monadic Parser Combinator Library for OCaml Programming Language
AuthorZrinka Gavran
MentorIvica Botički (mentor)
Committee memberIvica Botički (predsjednik povjerenstva)
Committee memberVedran Mornar (član povjerenstva)
Committee memberZdravko Galić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2016-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
Keywords (english)
Languageenglish
URN:NBNurn:nbn:hr:168:025623
Study programmeTitle: 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 resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2018-02-06 08:52:00