Category:Typing/Safe: Difference between revisions

Content added Content deleted

Inline

Revision as of 12:34, 1 June 2009

Indicates that a language's type system is strictly enforced, and that there are no loopholes to allow the program to escape it without doing something deeply funky.

Subcategories

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

A

ABC‎ (48 P)
Acornsoft Lisp‎ (1 C, 17 P)
ActionScript‎ (3 C, 118 P)
Ada‎ (3 C, 963 P)
Aime‎ (3 C, 166 P)
ALGOL 68‎ (3 C, 1,019 P)
ALGOL W‎ (3 C, 327 P)
AmbientTalk‎ (3 C, 4 P)
Apex‎ (1 C, 38 P)
AsciiDots‎ (10 P)
ATS‎ (3 C, 143 P)
Ayrch‎ (empty)

B

Bait‎ (9 P)
Boo‎ (3 C, 6 P)
Bori‎ (4 P)
BQN‎ (1 C, 273 P)

C

C sharp‎ (3 C, 986 P)
C++‎ (3 C, 1,282 P)
Ceylon‎ (94 P)
Chapel‎ (44 P)
CHR‎ (1 C, 2 P)
Clio‎ (8 P)
Clojure‎ (3 C, 648 P)
CLU‎ (1 C, 240 P)
Common Lisp‎ (3 C, 778 P)
Cowgol‎ (169 P)
Crack‎ (3 C, 4 P)

D

D‎ (3 C, 990 P)
Dao‎ (3 C, 11 P)
Delphi‎ (3 C, 946 P)
Draco‎ (1 C, 128 P)
DWScript‎ (3 C, 100 P)
Dyalect‎ (136 P)
Dylan‎ (3 C, 15 P)

E

E‎ (3 C, 269 P)
EasyLang‎ (747 P)
EchoLisp‎ (303 P)
Ecstasy‎ (64 P)
Egison‎ (8 P)
Eiffel‎ (3 C, 158 P)
Ela‎ (3 C, 66 P)
Elena‎ (3 C, 240 P)
Elm‎ (1 C, 50 P)
Erlang‎ (3 C, 519 P)
Euphoria‎ (3 C, 234 P)

F

Factor‎ (3 C, 1,001 P)
Fancy‎ (3 C, 15 P)
Fortran‎ (3 C, 652 P)
Free Pascal‎ (1 C, 174 P)
Frege‎ (11 P)
FutureBasic‎ (1 C, 452 P)

G

Gambas‎ (3 C, 252 P)
GDScript‎ (25 P)
Genie‎ (1 C, 34 P)
Go‎ (4 C, 1,549 P)
Goaldi‎ (1 P)
Gri‎ (6 P)
Groovy‎ (3 C, 502 P)
Guile‎ (1 C, 1 P)

H

Haskell‎ (3 C, 1,172 P)
Hope‎ (3 C, 5 P)
Hopper‎ (1 P)
Huginn‎ (1 C, 28 P)

I

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

J

J‎ (3 C, 1,413 P)
Java‎ (3 C, 1,348 P)
Joy‎ (3 C, 90 P)
Julia‎ (3 C, 1,650 P)

K

KAP‎ (2 P)
Kaya‎ (3 P)

L

Lambda Prolog‎ (1 P)
Lang5‎ (49 P)
Lean‎ (7 P)
LFE‎ (1 C, 80 P)
Lhogho‎ (8 P)
LIL‎ (1 C, 27 P)
Loglan82‎ (empty)
Logo‎ (3 C, 211 P)
Lua‎ (7 C, 940 P)
Lucid‎ (3 C, 12 P)

M

M4‎ (4 C, 92 P)
MAXScript‎ (3 C, 116 P)
ΜC++‎ (3 C)
MEL‎ (4 P)
Microsoft Small Basic‎ (1 C, 56 P)
MiniZinc‎ (31 P)
Miranda‎ (58 P)
MLite‎ (26 P)
Modula-3‎ (3 C, 129 P)
Morfa‎ (9 P)

N

NetRexx‎ (3 C, 284 P)
Never‎ (1 C, 11 P)
Nit‎ (8 P)

O

Oberon-07‎ (1 C, 13 P)
Oberon-2‎ (3 C, 135 P)
Objeck‎ (3 C, 331 P)
Object Pascal‎ (4 C, 12 P)
ObjectIcon‎ (25 P)
OCaml‎ (3 C, 679 P)
Ol‎ (171 P)
Owl Lisp‎ (4 P)
Oz‎ (3 C, 278 P)

P

Pascal‎ (4 C, 708 P)
Perl 6‎ (4 C)
Pike‎ (3 C, 162 P)
PL/I‎ (3 C, 447 P)
Pony‎ (19 P)
Pop11‎ (3 C, 93 P)
Potion‎ (28 P)
PowerBASIC‎ (3 C, 55 P)
PowerShell‎ (3 C, 500 P)
Python‎ (18 C, 1,515 P)

R

Ra‎ (9 P)
Raku‎ (3 C, 1,620 P)
RapidQ‎ (3 C, 44 P)
Rascal‎ (49 P)
REALbasic‎ (3 C, 26 P)
REXX‎ (4 C, 1,152 P)
Rhovas‎ (6 P)
RPL/2‎ (3 C, 1 P)
RTL/2‎ (3 C, 1 P)
Rust‎ (2 C, 952 P)

S

Scheme‎ (3 C, 425 P)
SequenceL‎ (1 C, 59 P)
Sing‎ (2 P)
SkookumScript‎ (1 C, 6 P)
Slate‎ (3 C, 123 P)
Smalltalk‎ (3 C, 325 P)
Soda‎ (2 P)
SparForte‎ (56 P)
SPARK‎ (3 C, 8 P)
SQL PL‎ (3 C, 40 P)
Swift‎ (613 P)

T

Tcl‎ (4 C, 983 P)
Tern‎ (6 P)
TI-89 BASIC‎ (3 C, 92 P)
Transd‎ (70 P)
Trith‎ (3 C, 21 P)
TUSCRIPT‎ (3 C, 152 P)

U

Ultimate++‎ (5 P)
Unicon‎ (3 C, 594 P)

V

V‎ (3 C, 36 P)
V (Vlang)‎ (475 P)
Vala‎ (3 C, 111 P)
Visual Basic‎ (3 C, 119 P)
Visual Prolog‎ (7 P)
Viua VM assembly‎ (2 P)

W

Wisp‎ (1 C, 3 P)
Wren‎ (1 C, 1,675 P)

X

Xojo‎ (17 P)

Y

Ya‎ (1 P)

Z

Zkl‎ (1 C, 1,011 P)

Revision as of 09:14, 15 February 2009 (view source) MikeMol (talk \| contribs) (Added to "parent" category.)		Revision as of 12:34, 1 June 2009 (view source) rosettacode>Dkf (describe) Newer edit →
Line 1:		Line 1:
	[[Category:Typing]]		[[Category:Typing]]
			Indicates that a language's type system is strictly enforced, and that there are no loopholes to allow the program to escape it without doing something deeply funky.