On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M17Igarashi: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Add the abstract of Igarashi's talk |
(No difference)
|
Latest revision as of 07:15, 4 July 2017
Gradual typing allows statically typed and dynamically typed code to coexist in a single program. In this talk, we apply gradual typing to a MetaOCaml-like multi-stage language. A key design issue lies in how to extend casts, which are used to mediate between statically typed and dynamically typed code, to code types. We discuss a few possible semantics of casts and issues in supporting eval.
