pniederw
01/14/2017, 11:33 PMOption type (and pattern matching), others have (non-)nullable types (and flow typing). Tackles the same problem. For JVM languages, nullable types are nice because null needs to be supported anyway for Java compatibility.