Sciweavers

FLOPS
2008
Springer

Undoing Dynamic Typing (Declarative Pearl)

14 years 10 months ago
Undoing Dynamic Typing (Declarative Pearl)
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing potential runtime errors to the point at which a dynamic value is projected to a static type. The idea is demonstrated by using control operators to implement backtracking projections from an untyped Scheme-like language to ML.
Nick Benton
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FLOPS
Authors Nick Benton
Comments (0)