Inefficiency
Must pass all types even if never examined
Tolmach -- sometimes allocates more in type passing semantics than tagged data.
TIL -- eliminates unexamined run-time types in ad hoc manner in translation to untyped calculus
Previous slide
Next slide
Back to first slide
View graphic version