@inthehands @kittylyst @rotnroll666 One can mostly avoid null, but type erasure for sure is a fundamental pain that puts heavy restrictions on what the type system can ever evolve to. The problem isn't even with Java the language, but with the JVM resp. Java byte code, thus limiting _all_ JVM-based languages!