sorodni izrazi in sinonimi v sodobni slovenščini, hrvaščini in srbščini
Podobnost besed in fraz med rezultati je odvisna od tega, kolikokrat se beseda
ali fraza pojavi v podobnem stavčnem kontekstu kot "exeff".
Podobni izrazi in sinonimi za
Kliknite za poizvedbo
Pogosto skupaj z
Primeri iz korpusa
Korpus Common Crawl
Common Crawl je korpus spletnih strani
Jezik ExEff bo vseboval eksplicitno kvantificirane in označene tipe, hkrati pa bo zahteval tudi eksplicitne priče pretvorb med podtipi.
V delu predstavimo jezik ExEff z eksplicitnimi tipi in signaturami učinkov in pripadajoči algoritem, ki tipe izpelje.
Podrobneje si oglejmo le pravila za tipiziranje pretvorb, ki so nove glede na tiste iz jezika ExEff.
Najprej se bomo v razdelku 4.1 podrobneje seznanili s sintakso jezika, še posebej s konstrukti, ki so novi glede na ExEff.
Kot rešitev je predstavljen eksplicitno tipiziran jezik ExEff z eksplicitnimi učinki in ciljni jezik tega jezika.
Zaporedna izračuna morata imeti isto množico učinkov (slika 11), zato moramo v ExEff-u za dosego tega uporabiti eksplicitne pretvorbe.
Tabelo bomo v poglavju 6 dopolnili z eksplicitno izpeljavo omejitev, ki bodo ključne za dopolnitev jezika v ExEff.
V ExEff-u vpeljemo eksplicitne pretvorbe tipov, s pomočjo katerih pretvarjamo izraze s posebnim konstruktom.
Relacija sedaj poleg smiselnosti tipa in pretvorbe podaja tudi ustrezno obliko objekta v jeziku ExEff.
V primeru ExEff-a največjega problema ne predstavljajo eksplicitne navedbe tipov ampak kvantifikacije in eksplicitne pretvorbe8 .
Podobno kot pri tipih tudi operacijsko semantiko za jezik ExEff podamo posebej za vrednosti in izračune7 .
Te potem apliciramo na končen rezultat v jeziku ExEff, ki zahteva eksplicitno obliko polimorfizma.
Prevajanje iz jezika ExEff je razdeljeno na funkcije glede na pravila prevajanja opisana v razdelku 5.
V tem razdelku bomo predstavili algoritem, ki za izraze v jeziku ImpEff izpelje tip in jih dopolni v izraze v jeziku ExEff.
V razdelku 3 pa bomo videli, da v jeziku ExEff temu ni tako.
Kot rezultat vrne tip vrednosti (izračuna) v jeziku ImpEff, novo množico pogojev, nove substitucije in dopolnjeno vrednost (izračun) v jeziku ExEff.
V tem razdelku predstavimo sintakso in operacijsko semantiko jezika ExEff.
Pri tem omenimo, da se tipa z istim skeletom v ExEff-u lahko prevedeta v različna tipa v NoEff-u.
Podana so pravila za dopolnitev programov iz jezika ImpEff v jezik ExEff skupaj z dokazom, da dopolnitev ohranja tipe.
Na slikah 10 in 11 je predstavljeno tipiziranje vrednosti in izračunov v jeziku ExEff.