Type System
Static
Checks type correctness at compile-time, reducing runtime errors by ensuring variables are properly typed before execution.
Plangs
- .NET
- Ada
- Agda
- Amber
- ASP.NET
- AssemblyScript
- Astro
- Ballerina
- BASIC
- Beef
- Boo
- C
- C#
- C++
- c3
- Ciao
- Cilk
- Clang
- Clean
- Coq
- Crystal
- Curry
- Cython
- D
- Dart
- Delphi
- Deno
- Differential Datalog
- Eclair
- Eiffel
- Euphoria
- Extempore
- F#
- Fantom
- Flix
- Flutter
- Fortran
- Free Pascal
- FreeBASIC
- Futhark
- Gleam
- GNAT
- Go
- GraalVM
- Groovy
- Hack
- Haskell
- Haxe
- HotSpot VM
- Idris
- Imba
- Inko
- Intel Fortran
- Isabelle
- Java
- Kotlin
- Lobster
- Mercury
- MiniZinc
- MLton
- Mojo
- Mono
- Nickel
- Nim
- Objective-C
- OCaml
- Odin
- Pascal
- Pony
- PureScript
- Racket
- Rascal
- Reason
- Rust
- Scala
- Scopes
- Shen
- Slog
- Solidity
- Soufflé
- SQL
- Standard ML
- Svelte
- Swift
- TypeScript
- Unison
- V
- Vala
- Visual Basic
- Wasp
- Wing
- Xojo
- XQuery
- Zig