Ronald Garcia - Program-Transformation.Org

More documents

Recommendations

Info

Design Space of Casts • Two Axes of Design Space • How eagerly should we detect errors • Which expressions deserve attention • Low-level implementation semantics Siek, <strong>Garcia</strong>, and Taha, ESOP 2009 Friday, December 7, 2012
How Eagerly Bool → Int ⇐ Dyn Dyn ⇐ Int → Int(λx : Int. x) • Lazy Semantics accept this expression • Eager Semantics reports a cast error. Friday, December 7, 2012
Page 1 and 2: Combining Static and Dynamic Types
Page 3 and 4: Gradual Typing Dynamic Typing: (Agi
Page 5 and 6: Gradual Typing move(int x, dx) { }
Page 7 and 8: Gradual Typing int move(int x, int
Page 9 and 10: From GT to Casts Gradual Language T
Page 11 and 12: ound: Cast Calculi Cast-based Langu
Page 13: f ≡ (λx : Int. if 0 < x then Dyn
Page 17 and 18: Dyn → Int ⇐ Dyn l 3 Dyn ⇐ Boo
Page 19 and 20: Who’s to Blame Theorem (Blame Saf
Page 21 and 22: Design Space Lazy UD * Lazy D Eager
Page 23 and 24: Desirable Properties • Reasonable
Page 25 and 26: states that well-type programs cann
Page 27 and 28: states that well-type programs cann
Page 29: Dynamic Typing: (Agility) Static Ty

Ronald Garcia - Program-Transformation.Org

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?