“any” type
type errors
key features
type safety
type safe stacks