20.500.12556/RUL-162807 Prevajanje funkcijskega programskega jezika v WebAssembly Compilation of a functional programming language to WebAssembly WebAssembly je z dodatkom objektov na kopici postal še bolj privlačen programski jezik, saj lahko vanj brez dodatnega truda prevajamo tudi jezike, ki uporabljajo smetarja. V okviru tega diplomskega dela smo se odločili prevesti funkcijski jezik Millet v WebAssembly. V tem delu najprej predstavimo oba jezika in nato opišemo, kako je bil Millet preveden v WebAssembly. Prevod je direkten, in sicer vsakemu ukazu določimo, v katere WebAssembly ukaze se bo prevedel, poleg tega moramo določiti še nekaj tipov, potrebnih za pravilno izvajanje ter validacijo prevedene kode. Prevedena koda se izvaja pravilno in v vsakem primeru prehiti Milletovo izvorno kodo za vsaj dvestokrat. Ker koda ni optimizirana, še vedno potrebuje nekaj izboljšav, da bo njeno delovanje bolj primerljivo s programi napisanimi v WebAssembly-ju. WebAssembly has become an even more attractive target programming language with the addition of heap objects, allowing many languages to be compiled into WebAssembly without the additional effort of translating their garbage collectors as well. In this thesis, we decided to compile the functional language Millet into WebAssembly. In this work, we first introduce both languages and then describe how Millet was compiled into WebAssembly. The translation is direct, meaning that each Millet instruction is mapped it to the corresponding WebAssembly instructions. We also had to specify the appropriate types for correct execution and validation of the compiled code. The translated code runs correctly and outperforms Millet’s original code by at least two hundred times in every case. Since the code is not yet optimized, it still requires a few improvements to perform more comparably to programs written directly in WebAssembly. prevajalniki WebAssembly funkcijski programski jeziki compilers WebAssembly functional programming languages true false false Slovenski jezik Angleški jezik Diplomsko delo/naloga 2024-09-27 10:55:01 2024-09-27 10:55:06 2024-11-11 09:42:38 0000-00-00 00:00:00 2024 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 37280 214439939 Ocvirk_Kristof_-_Prevajanje_funkcijskega_programskega_jezika_v_WebAssembly.pdf Ocvirk_Kristof_-_Prevajanje_funkcijskega_programskega_jezika_v_WebAssembly.pdf 1 5F9A426A758ABDC7D267FC6CB96D7EC2 cfd3026c13df35d12f704f8299acf9e5712e2df93398f81c1462a611975afc1e 10da174a-7cae-11ef-b232-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=192239 Fakulteta za računalništvo in informatiko 0 0 0