Category:Typing/Safe

From Rosetta Code
Revision as of 12:48, 1 June 2009 by rosettacode>Dkf (mark as a feature)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Typing/Safe is a programming language feature.

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

B

C

D

E

F

G

H

I

J

  • J(3 C, 1,413 P)
  • Java(3 C, 1,338 P)
  • Joy(3 C, 90 P)
  • Julia(3 C, 1,649 P)

K

L

M

N

O

P

R

S

T

U

V

W

  • Wisp(1 C, 3 P)
  • Wren(1 C, 1,674 P)

X

Y

  • Ya(1 P)

Z

  • Zkl(1 C, 1,011 P)