1. A system that facilitates null-support in programming languages, comprising: at least one type associated with at least one programming language; and a type modifier to signal that the type is nullable.