|
|
Frege IDE with JetBrains MPS
Satmári, István ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Frege je open-source projekt, ktorý prináša populárny funkcionálny programovací jazyk Haskell pre platformu Java. JetBrains MPS je zase open-source nástroj pre vytváranie nových programovacích jazykov a vývojových integrovaných prostredí na báze projekčného editoru. V tejto práci analyzujeme gramatiku pre jazyk Frege a popisujeme postup vývoja integrovaného prostredia postaveného nad nástrojom JetBrains MPS pre uľahčenie vývojárom s písaním kódu vo Frege. Naše vývojové prostredie zahŕňa intuitívny editor pre editáciu syntaxe v jazyku Frege, poskytuje jednoduchú typovú kontrolu a obsahuje generátory pre textový výstup zadaného programu. Cieľom nášho nástroju je jeho užívateľská prívetivosť. Táto práca v závere taktiež porovnáva projekčné editory oproti bežným vývojovým prostrediam založených na editácii textu, ako je napríklad Eclipse, a skúma, či projekčné editory poskytujú akúkoľvek výhodu pri písaní kódu vo funkcionálnych programovacích jazykoch.
|
|
|
Grammar to JetBrains MPS Convertor
Vysoký, Přemysl ; Parízek, Pavel (vedoucí práce) ; Yaghob, Jakub (oponent)
JetBrains MPS je nástroj pro tvorbu programovacích jazyků, který se specializuje na doménově specifické jazyky. Na rozdíl od většiny podobných nástrojů, či klasických IDE, se v MPS programuje pomocí projekčního editoru. Uživatel manipuluje s programem v jeho stromové podobě (AST) a ne editováním textového zdrojového kódu. Toto přináší mnoho výhod, ale také vyžaduje časově náročnou a komplikovanou definici jazyka používaného uvnitř MPS. Diplomová práce zkoumá možnost automatické tvorby MPS jazyků pomocí importu jejich gramatik. V práci je představen editor MPS, zhodnocen přístup podobných existujících projektů a popsána autorova snaha o implementaci MPS pluginu, který takový import umožňuje. Zvolený postup a výběr nástrojů použitých k implementaci je spolu s architekturou pluginu také popsán a zdůvodněn. Dále práce rozebírá důležité problémy, které s tématem souvisí a každý podobný projekt je také musí řešit. K některým z problémů jsou uvedena a popsána možná řešení. V poslední řadě obsahuje práce i příklady importovaných jazyků, které ukazují efektivnost implementovaného pluginu. Spolu s tím je zmíněno několik návrhů na rozšíření práce a možná vylepšení. Práce si totiž klade za záměr prozkoumat a zdokumentovat danou tématiku, aby bylo možné navázat dalším výzkumem.
|
host ::
RSS.