Typing discipline: Type-safe
Type-safe languages use their type system to prevent certain kinds of errorneous and undefined program behaviour.
A language is type-safe if the only operations that can be performed on the data are those sanctioned by the type of the data, i.e., the ones which make sense for this data type.
- Algol68 (dialects: Algol68 r0, Algol68 r1, Algol68 sublanguage)
- C# (dialects: Cω, Polyphonic C#)
- Haskell (dialects: Haskell 98)
- Lisp (dialects: Clojure, Common Lisp, Scheme)
- Pascal (dialects: Extended Pascal, Standard Pascal)