Some functional language use non-nullable types by default. Haskell, ML, OCaml, f.ex. Java has the checker framework that supports `@Nullable` annotations and

Some functional language use non-nullable types by default. Haskell, ML, OCaml, f.ex. Java has the checker framework that supports `@Nullable` annotations and will allow only those vars/fields to contain `null`.