[syduck]

> 8000 programming languages in existence

> picks JVM family of languages

> picks the one functional language on JVM with bad typesystem

> why doesn't it have good types?

> builds own type system

> hmm.javac