The well-known computer language Pascal allows programmers to define new variable types, within limits. This capacity exists in a more extended form in Ada. FALCON also provides a mechanism for creating user-defined variable types.