Meno: | Tomáą |
---|---|
Priezvisko: | Belan |
Názov: | Type checker for the Yon language |
Vedúci: | RNDr. Peter Borovanský, PhD. |
Rok: | 2013 |
Kµúčové slová: | programming languages, type system, subtyping, polymorphism |
Abstrakt: | In this thesis we extend the dynamically typed language Yon with a static type system, allowing checking the program at compilation. The dynamic language semantics are largely kept unchanged. The type system is structural and supports generics, inheritance and limited type inference. |
Súbory bakalárskej práce:
belan-final.pdf |
yon.tar.gz |
yon-v2.tar.gz |