I'm tempted to say Haskell/Idris because of how autistic it is to care that much about types. But in reality, if you look at the autism levels of the actual users of the languages, it's Common Lisp by far. Something about LISP attracts autists like flies on shit.