| Type | Programming language |
| Creator | Genius Computing |
| Developed | 1980s |
| Predecessor | Flexible Typing by Metasystems Corporation |
| Notable users | Apple, Inc.] • Microsoft Corporation • Alphabet Inc. |
| Key characteristics | Rigorous type checking • Efficiency |
| Impact on modern languages | Substantial |
