We report our ongoing work on gradual typing for a language with delimited-control operators, shift and reset, which are known to be very powerful constructs. We base our gradual type system on the simple type system with so-called answer-type modification proposed by Danvy and Filinski. We introduce the type dynamic (written *), define the type consistency relation, modify the typing rules by using the type consistency relation, and give translation to insert explicit casts. The way we modify the typing rules is very similar to the Gradualizer but it turns out that the Gradualizer is not directly applicable for generation of rules of cast insertion translation. We also discuss the properties of the obtained gradually typed language according to Siek et al.’s criteria for gradually typed languages.
Sun 17 Jul
10:05 - 10:55 Talk | Gilad BrachaGoogle Pre-print | |||||||||||||||||||||||||||||||||||||||||
10:55 - 11:25 | James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington, Sophia DrossopoulouImperial College London, Andrew BlackPortland State University, Kim BrucePomona College Link to publication | |||||||||||||||||||||||||||||||||||||||||
11:25 - 11:55 | Link to publication | |||||||||||||||||||||||||||||||||||||||||
11:55 - 12:25 Talk | Timothy JonesVictoria University of Wellington Link to publication File Attached |