Len funkcijski programski jezik brez čistilca pomnilnikaKocjan Turk, Toni (Avtor) Slivnik, Boštjan (Mentor) prevajalnikinterpreternavidezni strojprogramski jezikfunkcijsko programiranjeleni izračunupravljanje s pomnilnikomčistilec pomnilnikaštetje referenclastništvoizposojapuščanje pomnilnikaModerni programski jeziki omogočajo dodeljevanje in sproščanje pomnilnika med izvajanjem programov. Ustrezno upravljanje s pomnilnikom je zato ključno. Razvili smo funkcijski programski jezik, ki je len in ne uporablja čistilca pomnilnika, kot je to običajno v praksi (Haskell, OCaml). Namesto čistilca predlagamo statično analizo, v osrčju katere sta princip enojnega lastništva in izposoja. Čiščenje pomnilnika v razvitem jeziku je v celoti deterministično, dodatnemu delu v času izvajanja se skoraj povsem izognemo, statična analiza pa zagotovi, da ne prihaja do smetenja in izvisenih kazalcev. Za programski jezik smo razvili tudi prototipni prevajalnik, s katerim dokažemo uspešnost statične analize in pokažemo, da upravljanje s pomnilnikom že v prototipni implementaciji deluje zelo dobro.20222022-12-09 10:35:30Magistrsko delo/naloga143251sl