PLDB
Languages Features Calendar About Lists Add Language
GitHub icon

Static Typing

Static Typing

Static Typing is a language feature.

Static type checking is the process of verifying the type safety of a program based on analysis of a program's text (source code).

Languages with Static Typing include TypeScript, Nim, Haxe, Ceylon, carp, SISAL, Xtend

Article source

PLDB - Build the next great programming language. v5.0.0 - Acknowledgements · Email · GitHub