Category:Typing/Checking/Static: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 16:30, 29 August 2009

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 143 subcategories, out of 143 total.

1

11l‎ (1 C, 1,016 P)

A

ActionScript‎ (3 C, 118 P)
Ada‎ (3 C, 942 P)
Aime‎ (3 C, 166 P)
ALGOL 68‎ (3 C, 1,016 P)
ALGOL W‎ (3 C, 327 P)
Alore‎ (3 C, 6 P)
Apex‎ (1 C, 38 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,295 P)
C sharp‎ (3 C, 986 P)
C++‎ (3 C, 1,275 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, 240 P)
COBOL‎ (3 C, 364 P)
Common Lisp‎ (3 C, 778 P)
Cowgol‎ (168 P)
Crack‎ (3 C, 4 P)
Crystal‎ (248 P)

D

D‎ (3 C, 990 P)
Dao‎ (3 C, 11 P)
Delphi‎ (3 C, 945 P)
DM‎ (5 P)
Draco‎ (1 C, 127 P)
DWScript‎ (3 C, 100 P)
Dylan‎ (3 C, 15 P)

E

EasyLang‎ (691 P)
EC‎ (3 C, 7 P)
EchoLisp‎ (303 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, 864 P)
Fantom‎ (3 C, 150 P)
FormulaOne‎ (1 P)
Fortran‎ (3 C, 652 P)
FreeBASIC‎ (1 C, 1,324 P)
Frege‎ (11 P)
Futhark‎ (37 P)

G

GDScript‎ (25 P)
Genie‎ (1 C, 34 P)
Go‎ (4 C, 1,548 P)
Gosu‎ (3 C, 18 P)

H

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

I

Inform 7‎ (3 C, 43 P)
Ioke‎ (3 C, 20 P)

J

Java‎ (3 C, 1,340 P)

K

Kaya‎ (3 P)
Kotlin‎ (2 C, 1,149 P)

L

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

M

MAD‎ (83 P)
ΜC++‎ (3 C)
MEL‎ (4 P)
MelonBasic‎ (5 P)
Mercury‎ (3 C, 127 P)
MiniZinc‎ (31 P)
Mirah‎ (3 C, 21 P)
Miranda‎ (57 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, 12 P)
Oberon-2‎ (3 C, 135 P)
Objeck‎ (3 C, 331 P)
Object Pascal‎ (4 C, 12 P)
Objective-C‎ (3 C, 158 P)
OCaml‎ (3 C, 679 P)

P

Panda‎ (12 P)
Pascal‎ (4 C, 708 P)
PepsiScript‎ (3 P)
Perl‎ (6 C, 1,542 P)
Perl 6‎ (4 C)
Phix‎ (8 C, 1,674 P)
PHL‎ (2 C, 21 P)
Pike‎ (3 C, 162 P)
Pixilang‎ (6 P)
PL/I‎ (3 C, 446 P)
Plain English‎ (3 C, 118 P)
Pony‎ (19 P)
PowerBASIC‎ (3 C, 55 P)
Programming Language‎ (2 P)

R

Raku‎ (3 C, 1,619 P)
RapidQ‎ (3 C, 44 P)
Rhovas‎ (6 P)
RTL/2‎ (3 C, 1 P)
Rust‎ (2 C, 952 P)

S

Scala‎ (23 C, 950 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, 301 P)
Swift‎ (612 P)

T

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

U

Ultimate++‎ (5 P)

V

V (Vlang)‎ (475 P)
Vala‎ (3 C, 111 P)
Visual Basic‎ (3 C, 119 P)
Visual Basic .NET‎ (3 C, 403 P)
Visual Prolog‎ (7 P)

X

Xojo‎ (17 P)

Y

Ya‎ (1 P)

Z

Zig‎ (1 C, 142 P)
Zoomscript‎ (10 P)

Revision as of 12:54, 1 June 2009 (view source) rosettacode>Dkf No edit summary ← Older edit		Latest revision as of 16:30, 29 August 2009 (view source) rosettacode>Dkf (Added some explanatory text)
Line 1:		Line 1:
	{{feature\|Typing/Checking}}		{{feature\|Typing/Checking}}
			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).