Oblikovanje strogo tipiziranog programskog jezika

diplomski rad

• Naslov (engleski): Design of a strongly-typed programming language
• Autor: Petar Mihalj
• Mentor: Ante Đerek (mentor)
• Član povjerenstva: Ante Đerek (predsjednik povjerenstva)
• Član povjerenstva: Vlado Sruk (član povjerenstva)
• Član povjerenstva: Leonardo Jelenković (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2021-07-02, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

Cilj ovog diplomskog rada razvoj je novog programskog jezika, kombinirajući
poželjna svojstva drugih često korištenih jezika. Definirali smo AGT programski
jezik, prevod̄eni, statički i strogo tipiziran jezik sa snažnim sustavom tipova,
sposobnim izvesti izračune tijekom prevod̄enja, koji podržava različite oblike statičkog
polimorfizma.
Razvili smo prevoditelj za AGT u programskom jeziku Python,
koristeći LLVM infrastrukturu prevoditelja za pozadinsko prevod̄enje. U radu smo
opisali sintaksu i semantiku AGT programskog jezika, a dani su i brojni primjeri
efikasnog korištenja AGT-a u čestim programerskim situacijama.
završili smo planovima za budući razvoj AGT-a.

Sažetak (engleski)

The goal of this thesis is to develop a new programming language by combining
desirable properties of other widely used ones. We have defined the AGT programming
language, a compiled, statically and strongly typed language which has a powerful
type system, capable of performing compile-time computation and providing different
forms of static polymorphism. We have implemented a Python based AGT compiler,
which uses LLVM compiler infrastructure as a compiler backend.
We describe the AGT programming language syntax and semantics, and also
provide numerous examples of effective AGT use in common programming scenarios.
The thesis is concluded with plans for the future development of AGT.

• Ključne riječi: Programski jezici; Prevoditelji; Polimorfizam
• Ključne riječi (engleski): Programming languages; Compilers; Polymorphism
• Jezik: engleski
• URN:NBN: urn:nbn:hr:168:298198
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-01-13 13:07:19