Интересно. Система типов Java неполностью объектно-ориентирована. Тотже null не тип, а keyword. В Scala, None - сабкласс типа Option. Интересно, как Java обрабатывает его.
На первый взгляд система типов scala переусложнена. Надо в этом поразбираться.