Category:Typing/Safe: Difference between revisions
Content added Content deleted
(Added to "parent" category.) |
(mark as a feature) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
{{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. |
Latest revision as of 12:48, 1 June 2009
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
C
D
- Dyalect (136 P)
E
F
- Frege (11 P)
G
L
- Lambda Prolog (1 P)
- Lang5 (49 P)
- Lean (7 P)
- Lhogho (8 P)
- Loglan82 (empty)
M
O
- ObjectIcon (25 P)
- Ol (171 P)
- Owl Lisp (4 P)
P
R
S
T
U
- Ultimate++ (5 P)
V
- V (Vlang) (475 P)
- Visual Prolog (7 P)
- Viua VM assembly (2 P)
X
- Xojo (17 P)
Y
- Ya (1 P)