Category:Typing/Safe: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 12:48, 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, 952 P)
Aime‎ (3 C, 166 P)
ALGOL 68‎ (3 C, 1,017 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,278 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‎ (721 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, 518 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, 451 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,346 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, 12 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,514 P)

R

Ra‎ (9 P)
Raku‎ (3 C, 1,619 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 12:34, 1 June 2009 (view source) rosettacode>Dkf (describe) ← Older edit		Latest revision as of 12:48, 1 June 2009 (view source) rosettacode>Dkf (mark as a feature)
Line 1:		Line 1:
	~~[[Category:~~Typing]]		{{feature\|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.		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.