strong supporter of strong and static type systems. love Scala, OCaml, Java, and C, for various reasons.