Serendipity
•
W
mega’s type system is good for statically
guaranteeing all sorts of properties.
–
Lists with statically known length
–
Red–Black Trees
–
Binomial Heaps
–
Dynamic Typing
–