InfoQ Homepage Optional Typing Content on InfoQ
Presentations
RSS Feed-
Confined Gradual Typing
The authors discuss gradual typing, combining static’s safety and dynamic’s flexibility in a single programming language by implicitly inserting casts where needed.