> 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
> 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