Type System
Strong
Enforces strict type rules, ensuring that variables cannot be implicitly cast or used in an unintended way.
Plangs
- .NET
- Ada
- Agda
- AssemblyScript
- Ballerina
- Beef
- Boo
- Boomerang
- C#
- C++
- c3
- ChucK
- CircuitPython
- Clang
- Clean
- Clojure
- Common Lisp
- Coq
- Crystal
- Csound
- Curry
- Cython
- D
- Dart
- Delphi
- Differential Datalog
- Eiffel
- Elixir
- Emacs Lisp
- Erlang
- F#
- Factor
- Fantom
- FAUST
- Flix
- Flutter
- Fortran
- Free Pascal
- FreeBASIC
- Frink
- Futhark
- Gambit
- GDScript
- Gleam
- GNAT
- Go
- Gravity
- Groovy
- Hack
- Haskell
- Haxe
- HotSpot VM
- Idris
- Inko
- Intel Fortran
- Io
- IronPython
- Isabelle
- Jank
- Java
- jq
- JRuby
- Julia
- K
- Kotlin
- Lisp
- Lobster
- Lua
- Mercury
- MLton
- Mojo
- Mono
- MoonScript
- NetLogo
- Nickel
- Nim
- OCaml
- Odin
- Pascal
- PKL
- Pony
- PowerShell
- Processing
- Pure
- PureScript
- Python
- QML
- R
- R5RS
- Racket
- Rakudo
- Rascal
- Reason
- Rebol
- Ruby
- Rust
- SBCL
- Scala
- Scheme
- Scopes
- Self
- Shen
- Slog
- SQL
- Standard ML
- Starlark
- Swift
- TypeScript
- Unison
- V
- Vala
- Visual Basic
- vvvv
- Whiley
- Wing
- Wolfram Language
- Xojo
- XQuery
- Zig