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.

• Type: Conference
• Year: 2008
• Where: FLOPS
• Authors: Nick Benton
• Keywords: Automated Reasoning, Dynamically Typed, FLOPS 2008, Potential Runtime Errors, Untyped Scheme-like Language