NUK - logo
FMF in IMFM, Matematična knjižnica, Ljubljana (MAKLJ)
  • No value restriction is needed for algebraic effects and handlers [Elektronski vir]
    Kammar, Ohad ; Pretnar, Matija, 1982-
    Predstavimo enostaven in varen sistem tipov s Hindley-Milnerjevim polimorfizmom za algebrajske učinke in prestreznike v neučakanem jeziku, ki, na naše presenečenje, podpira generalizacijo tipov ... poljubnih izračunov, ne le vrednosti. Najprej povzamemo, da neomejen Hindley-Milnerjev polimorfizem v neučakanem jeziku v prisotnosti računskih učinkov, kot so reference ali kontinuacije, ni varen, ter da lahko mnogo od teh učinkov predstavimo s prestrezniki. Po tem, ko predstavimo jezik in dokaz varnosti, formaliziran v dokazovalniku Twelf, si ogledamo izraznost prestreznikov učinkov za učinke stanj. Domnevamo, da samo s prestrezniki ne moremo izraziti referenc, lahko pa z njimi simuliramo dinamično stanje, kar potrjuje, da tudi to ne potrebuje omejitve na vrednosti.
    Vir: Journal of functional programming. - ISSN 1469-7653 (Vol. 27, art. e7, Jan. 2017, 34 str.)
    Vrsta gradiva - e-članek ; neleposlovje za odrasle
    Leto - 2017
    Jezik - angleški
    COBISS.SI-ID - 17984345

    Povezava(-e):

    http://doi.org/10.1017/S0956796816000320

Vnos na polico