Jump to content

Category:Typing/Checking/Static

From Rosetta Code

Typing/Checking/Static is a programming language feature.

Indicates that this language applies type checks at compile time (or moral equivalent for languages that are not implemented with a separate compilation stage; e.g., that might be when the program is loaded into memory).

Subcategories

This category has the following 145 subcategories, out of 145 total.

1

11l (1 C, 1,016 P)

A

ActionScript (3 C, 118 P)
Ada (4 C, 1,006 P)
Aime (3 C, 166 P)
ALGOL 68 (3 C, 1,063 P)
ALGOL W (3 C, 340 P)
Alore (3 C, 6 P)
Apex (1 C, 38 P)
Apple (6 P)
ATS (3 C, 143 P)
Axiom (14 P)
Ayrch (empty)

B

BaCon (1 C, 187 P)
Bait (9 P)
Bc (3 C, 104 P)
BlitzMax (3 C, 7 P)
Boo (3 C, 6 P)
Bori (4 P)

C

C (3 C, 1,304 P)
C sharp (3 C, 997 P)
C++ (3 C, 1,361 P)
C0H (3 C)
C1R (3 C, 3 P)
C2 (1 P)
C3 (16 P)
Ceylon (94 P)
Chapel (44 P)
CHR (1 C, 2 P)
Cilk (3 C)
Clean (3 C, 23 P)
Clojure (3 C, 648 P)
CLU (1 C, 243 P)
COBOL (3 C, 373 P)
Common Lisp (3 C, 780 P)
Cowgol (173 P)
Crack (3 C, 4 P)
Crystal (248 P)

D

D (3 C, 991 P)
Dao (3 C, 11 P)
Delphi (3 C, 946 P)
DM (6 P)
Draco (1 C, 134 P)
DWScript (3 C, 100 P)
Dylan (3 C, 15 P)

E

EasyLang (892 P)
EC (3 C, 7 P)
EchoLisp (304 P)
Ecstasy (64 P)
Eero (9 P)
Eiffel (3 C, 158 P)
Elm (1 C, 50 P)
Euphoria (3 C, 234 P)
Evaldraw (16 P)

F

F Sharp (3 C, 876 P)
Fantom (3 C, 150 P)
FormulaOne (1 P)
Fortran (3 C, 655 P)
FreeBASIC (1 C, 1,578 P)
Frege (11 P)
Futhark (37 P)

G

GDScript (26 P)
Genie (1 C, 34 P)
Go (4 C, 1,552 P)
Gosu (3 C, 18 P)

H

Hare (16 P)
Haskell (3 C, 1,178 P)
Haxe (1 C, 55 P)
Hope (3 C, 5 P)
Hopper (1 P)

I

Imp77 (4 P)
Inform 7 (3 C, 43 P)
Ioke (3 C, 20 P)

J

Java (3 C, 1,442 P)

K

Kaya (3 P)
Kotlin (2 C, 1,152 P)

L

Lambda Prolog (1 P)
LDPL (25 P)
Lean (7 P)
Leon (empty)
Lobster (23 P)
Luck (8 P)

M

MAD (87 P)
ΜC++ (3 C)
MEL (4 P)
MelonBasic (5 P)
Mercury (3 C, 127 P)
MiniZinc (31 P)
Mirah (3 C, 21 P)
Miranda (68 P)
Mirelle (3 C)
Modula-3 (3 C, 129 P)
Morfa (9 P)

N

Nemerle (3 C, 147 P)
Nim (1 C, 1,576 P)
Nit (8 P)

O

Oberon-07 (1 C, 22 P)
Oberon-2 (3 C, 135 P)
Objeck (3 C, 333 P)
Object Pascal (4 C, 12 P)
Objective-C (3 C, 158 P)
OCaml (3 C, 680 P)

P

Panda (12 P)
Pascal (4 C, 715 P)
PepsiScript (3 P)
Perl (6 C, 1,577 P)
Perl 6 (4 C)
Phix (8 C, 1,688 P)
PHL (2 C, 21 P)
Pike (3 C, 163 P)
Pixilang (6 P)
PL/I (3 C, 449 P)
Plain English (3 C, 118 P)
Pony (19 P)
PowerBASIC (3 C, 55 P)
Programming Language (2 P)

R

Raku (3 C, 1,635 P)
RapidQ (3 C, 44 P)
Rhovas (6 P)
RTL/2 (3 C, 4 P)
Rust (2 C, 1,029 P)

S

Scala (23 C, 957 P)
ScratchScript (5 P)
Seed7 (3 C, 475 P)
SequenceL (1 C, 59 P)
SimpleCode (4 P)
Sing (2 P)
SkookumScript (1 C, 6 P)
Soda (2 P)
SPAD (13 P)
SparForte (56 P)
SPARK (3 C, 8 P)
Standard ML (3 C, 303 P)
Swift (613 P)

T

Turing (6 P)
Typed Racket (1 C, 1 P)

U

Ultimate++ (5 P)

V

V (Vlang) (523 P)
Vala (3 C, 111 P)
Visual Basic (3 C, 119 P)
Visual Basic .NET (3 C, 404 P)
Visual Prolog (7 P)

X

Xojo (17 P)

Y

Ya (1 P)

Z

Zig (1 C, 159 P)
Zoomscript (10 P)

Retrieved from "https://rosettacode.org/wiki/Category:Typing/Checking/Static?oldid=99509"

Cookies help us deliver our services. By using our services, you agree to our use of cookies.