Programski jezik: Razlika med redakcijama
Vrstica 1: | Vrstica 1: | ||
− | Jezik <math>Z_0</math> je eksperimentalni objektno usmerjen programski jezik, ki smo ga razvili v laboratoriju za računalniške arhitekture in jezike. Sintaktična struktura jezika je podobna Javi. Jezik je močno statično tipiziran s čistim objektno usmerjenim | + | Jezik <math>Z_0</math> je eksperimentalni objektno usmerjen programski jezik, ki smo ga razvili v laboratoriju za računalniške arhitekture in jezike. Sintaktična struktura jezika je podobna Javi. Jezik je močno statično tipiziran s čistim objektno usmerjenim modelom, kar pomeni, da so vse enititete predstavljene uniformno kot objekti. Posebnost jezika je v tem, da stanje objekta definira izključno preko metod, ki dinamično naravo stanja odražajo z manipulacijo v času izvajanja. Jezik ima implementiran statično preverljiv in varen mehanizem za spremembo metod v času izvajanja. Možnost "prikrojevanja" metod v času izvajanja ima velik pomen v praktični uporabi, od dinamične specializacije do meta programiranja. |
Jezik <math>Z_0</math> se prevaja v vmesni objektni kod, ki se izvaja na virtualnem stroju, katerega smo razvili posebej v ta namen. | Jezik <math>Z_0</math> se prevaja v vmesni objektni kod, ki se izvaja na virtualnem stroju, katerega smo razvili posebej v ta namen. | ||
Redakcija: 08:08, 11. oktober 2006
Jezik je eksperimentalni objektno usmerjen programski jezik, ki smo ga razvili v laboratoriju za računalniške arhitekture in jezike. Sintaktična struktura jezika je podobna Javi. Jezik je močno statično tipiziran s čistim objektno usmerjenim modelom, kar pomeni, da so vse enititete predstavljene uniformno kot objekti. Posebnost jezika je v tem, da stanje objekta definira izključno preko metod, ki dinamično naravo stanja odražajo z manipulacijo v času izvajanja. Jezik ima implementiran statično preverljiv in varen mehanizem za spremembo metod v času izvajanja. Možnost "prikrojevanja" metod v času izvajanja ima velik pomen v praktični uporabi, od dinamične specializacije do meta programiranja. Jezik se prevaja v vmesni objektni kod, ki se izvaja na virtualnem stroju, katerega smo razvili posebej v ta namen.
Meta programiranje
Programski jezik dobiva tudi meta arhitekturo, s katero želimo prikazati in eksperimentirati s koncepti, ki s klasičnim pristopom niso mogoči. Cilj meta arhitekture je doseči še višjo stopnjo dinamične manipulacije programskega okolja.