"When we say that a language is expressive, we mean that it is easy to use. When we say that a type system is expressive, we mean that it isn't."
- Gilad Bracha
"When we say that a language is expressive, we mean that it is easy to use. When we say that a type system is expressive, we mean that it isn't."
- Gilad Bracha