---
key: tsys/static
kind: typeSystem
name: "Static"
url: https://plangs.page/type-system/static
---

# Static

Checks type correctness at compile-time, reducing runtime errors by ensuring variables are properly typed before execution.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Static_typing

## Relationships

### Plangs

- [.NET](https://plangs.page/.net)
- [Ada](https://plangs.page/ada)
- [Agda](https://plangs.page/agda)
- [Amber](https://plangs.page/amber)
- [ASP.NET](https://plangs.page/asp.net)
- [AssemblyScript](https://plangs.page/assemblyscript)
- [Astro](https://plangs.page/astro)
- [Ballerina](https://plangs.page/ballerina)
- [BASIC](https://plangs.page/basic)
- [Beef](https://plangs.page/beef)
- [Boo](https://plangs.page/boo)
- [C](https://plangs.page/c)
- [C#](https://plangs.page/c-sharp)
- [C++](https://plangs.page/c++)
- [c3](https://plangs.page/c3)
- [Ciao](https://plangs.page/ciao)
- [Cilk](https://plangs.page/cilk)
- [Clang](https://plangs.page/clang)
- [Clean](https://plangs.page/clean)
- [Coq](https://plangs.page/coq)
- [Crystal](https://plangs.page/crystal)
- [Curry](https://plangs.page/curry)
- [Cython](https://plangs.page/cython)
- [D](https://plangs.page/d)
- [Dart](https://plangs.page/dart)
- [Delphi](https://plangs.page/delphi)
- [Deno](https://plangs.page/deno)
- [Differential Datalog](https://plangs.page/ddlog)
- [Eclair](https://plangs.page/eclair)
- [Eiffel](https://plangs.page/eiffel)
- [Euphoria](https://plangs.page/euphoria)
- [Extempore](https://plangs.page/extempore)
- [F#](https://plangs.page/f-sharp)
- [Fantom](https://plangs.page/fantom)
- [Flix](https://plangs.page/flix)
- [Flutter](https://plangs.page/flutter)
- [Fortran](https://plangs.page/fortran)
- [Free Pascal](https://plangs.page/free-pascal)
- [FreeBASIC](https://plangs.page/freebasic)
- [Futhark](https://plangs.page/futhark)
- [Gleam](https://plangs.page/gleam)
- [GNAT](https://plangs.page/gnat)
- [Go](https://plangs.page/go)
- [GraalVM](https://plangs.page/graalvm)
- [Groovy](https://plangs.page/groovy)
- [Hack](https://plangs.page/hack)
- [Haskell](https://plangs.page/haskell)
- [Haxe](https://plangs.page/haxe)
- [HotSpot VM](https://plangs.page/hotspot)
- [Idris](https://plangs.page/idris)
- [Imba](https://plangs.page/imba)
- [Inko](https://plangs.page/inko)
- [Intel Fortran](https://plangs.page/intel-fortran)
- [Isabelle](https://plangs.page/isabelle)
- [Java](https://plangs.page/java)
- [Kotlin](https://plangs.page/kotlin)
- [Lobster](https://plangs.page/lobster)
- [Mercury](https://plangs.page/mercury)
- [MiniZinc](https://plangs.page/minizinc)
- [MLton](https://plangs.page/mlton)
- [Mojo](https://plangs.page/mojo)
- [Mono](https://plangs.page/mono)
- [Nickel](https://plangs.page/nickel)
- [Nim](https://plangs.page/nim)
- [Objective-C](https://plangs.page/objective-c)
- [OCaml](https://plangs.page/ocaml)
- [Odin](https://plangs.page/odin)
- [Pascal](https://plangs.page/pascal)
- [Pony](https://plangs.page/pony)
- [PureScript](https://plangs.page/purescript)
- [Racket](https://plangs.page/racket)
- [Rascal](https://plangs.page/rascal)
- [Reason](https://plangs.page/reason)
- [Rust](https://plangs.page/rust)
- [Scala](https://plangs.page/scala)
- [Scopes](https://plangs.page/scopes)
- [Shen](https://plangs.page/shen)
- [Slog](https://plangs.page/slog)
- [Solidity](https://plangs.page/solidity)
- [Soufflé](https://plangs.page/souffle)
- [SQL](https://plangs.page/sql)
- [Standard ML](https://plangs.page/standard-ml)
- [Svelte](https://plangs.page/svelte)
- [Swift](https://plangs.page/swift)
- [TypeScript](https://plangs.page/typescript)
- [Unison](https://plangs.page/unison)
- [V](https://plangs.page/v)
- [Vala](https://plangs.page/vala)
- [Visual Basic](https://plangs.page/visual-basic)
- [Wasp](https://plangs.page/wasp)
- [Wing](https://plangs.page/wing)
- [Xojo](https://plangs.page/xojo)
- [XQuery](https://plangs.page/xquery)
- [Zig](https://plangs.page/zig)