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

# Strong

Enforces strict type rules, ensuring that variables cannot be implicitly cast or used in an unintended way.

## Facts

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

## Relationships

### Plangs

- [.NET](https://plangs.page/.net)
- [Ada](https://plangs.page/ada)
- [Agda](https://plangs.page/agda)
- [AssemblyScript](https://plangs.page/assemblyscript)
- [Ballerina](https://plangs.page/ballerina)
- [Beef](https://plangs.page/beef)
- [Boo](https://plangs.page/boo)
- [Boomerang](https://plangs.page/boomerang)
- [C#](https://plangs.page/c-sharp)
- [C++](https://plangs.page/c++)
- [c3](https://plangs.page/c3)
- [ChucK](https://plangs.page/chuck)
- [CircuitPython](https://plangs.page/circuitpython)
- [Clang](https://plangs.page/clang)
- [Clean](https://plangs.page/clean)
- [Clojure](https://plangs.page/clojure)
- [Common Lisp](https://plangs.page/common-lisp)
- [Coq](https://plangs.page/coq)
- [Crystal](https://plangs.page/crystal)
- [Csound](https://plangs.page/csound)
- [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)
- [Differential Datalog](https://plangs.page/ddlog)
- [Eiffel](https://plangs.page/eiffel)
- [Elixir](https://plangs.page/elixir)
- [Emacs Lisp](https://plangs.page/emacs-lisp)
- [Erlang](https://plangs.page/erlang)
- [F#](https://plangs.page/f-sharp)
- [Factor](https://plangs.page/factor)
- [Fantom](https://plangs.page/fantom)
- [FAUST](https://plangs.page/faust)
- [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)
- [Frink](https://plangs.page/frink)
- [Futhark](https://plangs.page/futhark)
- [Gambit](https://plangs.page/gambit)
- [GDScript](https://plangs.page/gdscript)
- [Gleam](https://plangs.page/gleam)
- [GNAT](https://plangs.page/gnat)
- [Go](https://plangs.page/go)
- [Gravity](https://plangs.page/gravity)
- [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)
- [Inko](https://plangs.page/inko)
- [Intel Fortran](https://plangs.page/intel-fortran)
- [Io](https://plangs.page/io)
- [IronPython](https://plangs.page/ironpython)
- [Isabelle](https://plangs.page/isabelle)
- [Jank](https://plangs.page/jank)
- [Java](https://plangs.page/java)
- [jq](https://plangs.page/jq)
- [JRuby](https://plangs.page/jruby)
- [Julia](https://plangs.page/julia)
- [K](https://plangs.page/k)
- [Kotlin](https://plangs.page/kotlin)
- [Lisp](https://plangs.page/lisp)
- [Lobster](https://plangs.page/lobster)
- [Lua](https://plangs.page/lua)
- [Mercury](https://plangs.page/mercury)
- [MLton](https://plangs.page/mlton)
- [Mojo](https://plangs.page/mojo)
- [Mono](https://plangs.page/mono)
- [MoonScript](https://plangs.page/moonscript)
- [NetLogo](https://plangs.page/netlogo)
- [Nickel](https://plangs.page/nickel)
- [Nim](https://plangs.page/nim)
- [OCaml](https://plangs.page/ocaml)
- [Odin](https://plangs.page/odin)
- [Pascal](https://plangs.page/pascal)
- [PKL](https://plangs.page/pkl)
- [Pony](https://plangs.page/pony)
- [PowerShell](https://plangs.page/powershell)
- [Processing](https://plangs.page/processing)
- [Pure](https://plangs.page/pure)
- [PureScript](https://plangs.page/purescript)
- [Python](https://plangs.page/python)
- [QML](https://plangs.page/qml)
- [R](https://plangs.page/r)
- [R5RS](https://plangs.page/r5rs)
- [Racket](https://plangs.page/racket)
- [Rakudo](https://plangs.page/rakudo)
- [Rascal](https://plangs.page/rascal)
- [Reason](https://plangs.page/reason)
- [Rebol](https://plangs.page/rebol)
- [Ruby](https://plangs.page/ruby)
- [Rust](https://plangs.page/rust)
- [SBCL](https://plangs.page/sbcl)
- [Scala](https://plangs.page/scala)
- [Scheme](https://plangs.page/scheme)
- [Scopes](https://plangs.page/scopes)
- [Self](https://plangs.page/self)
- [Shen](https://plangs.page/shen)
- [Slog](https://plangs.page/slog)
- [SQL](https://plangs.page/sql)
- [Standard ML](https://plangs.page/standard-ml)
- [Starlark](https://plangs.page/starlark)
- [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)
- [vvvv](https://plangs.page/vvvv)
- [Whiley](https://plangs.page/whiley)
- [Wing](https://plangs.page/wing)
- [Wolfram Language](https://plangs.page/wolfram-language)
- [Xojo](https://plangs.page/xojo)
- [XQuery](https://plangs.page/xquery)
- [Zig](https://plangs.page/zig)