He probably hasn't even implemented a brainfuck interpreter in Scala's type system.