ALL libraries (COBIB.SI union bibliographic/catalogue database)
PDF
  • Explicit effect subtyping [Elektronski vir]
    Karachalias, Georgios ...
    Z naraščanjem popularnosti algebrajskih učinkov in prestreznikov naraščajo tudi zahteve po njihovem učinkovitem izvajanju. Eff, ki je jezik iz družine ML z vgrajeno podporo za prestreznike, ima na ... podtipih osnovan sistem učinkov, okoli katerega bi lahko vzpostavili optimizirajoči prevajalnik. Po naših izkušnjah pa je implementacija takih optimizacij v Effu zelo težka, ker je jedrni jezik implicitno tipiziran, zaradi česar so transformacije programske kode zelo nepredvidljive. Da odpravimo to pomanjkljivost, predlagamo eksplicitno tipiziran polimorfni jedrni jezik za prestreznike algebrajskih učinkov ter sistem učinkov s podtipi. V jeziku so vsi sklici na podtipe predstavljeni eksplicitno s pretvorbami, ki služijo kot dokazi za podtipe, kar hitro polovi hrošče v transformacijah. Predlagani prehod iz implicitnih v eksplicitne učinke je tudi avtomatiziran prek algoritma za izpeljavo, ki temelji na sledenju omejitvam. Poleg tega lahko vse pretvorbe ter informacije o učinkih enostavno pobrišemo, iz česar sledi, da nimajo računskega pomena. Poleg tega predstavimo tudi monadični prevod iz našega jezika v čist jezik brez algebrajskih učinkov in prestreznikov, pri čemer uporabljamo informacijo o učinkih, da monadične konstrukte uporabimo le tam, kjer je to nujno potrebno.
    Source: Journal of functional programming. - ISSN 1469-7653 (Vol. 30, 2020, art. e15 (57 str.))
    Type of material - e-article ; adult, serious
    Publish date - 2020
    Language - english
    COBISS.SI-ID - 53285123

    Link(s):

    https://doi.org/10.1017/S0956796820000131
    DOI

Shelf entry