Sun 4 Nov 2018 15:30 - 15:50 at Longfellow - Types in Grace (continued)

An obviously desirable goal, when mixing static and dynamic typing, is that the static and dynamic checks should do the same thing. We discuss why we cannot achieve this goal in Grace — and indeed in any language in which type information is optional — and consider various compromises.

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 16:15
Types in Grace (continued)GRACE at Longfellow
15:30
20m
Talk
Static & Dynamic Typing in Grace
GRACE
P: Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington
Link to publication
15:50
25m
Other
Discussion on types in Grace
GRACE