Category:Typing/Safe

From Rosetta Code

Jump to: navigation, search
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.

Pages in category "Typing/Safe"

This category contains only the following page.

T

Personal tools
Support