Skip to main content

For questions relating to languages whose variables' data types are known at compile time, and type systems supporting this.

Related tags: