Type Erasure Semantics
(La.lx:R(a). l(A:a array,i:int).
Typecase x of
Rint => wordsub(A,3)
Rbool => (wordsub(A,3 div 32)
& (1<<(3 mod 32))) <> 0)
[int] Rint (A,3)
sub [int] Rint (A,3)
Previous slide
Next slide
Back to first slide
View graphic version