| Ada 2012 | — | — | — |
| Blockly | — | — | — |
| Discipulus | — | — | — |
| Elm | functional programming, purely functional programming, reactive programming, functional reactive programming | static typing, inference typing, strong typing | 2 |
| Golo | — | dynamic typing, weak typing | — |
| Halide | functional programming, parallel programming | static typing | — |
| Jq | functional programming, tacit programming | — | — |
| JSX | — | — | — |
| P | — | — | — |
| PLASMA | — | — | — |
| Qalb | functional programming | — | — |
| TypeScript | generic programming, event-driven programming, functional programming, imperative programming, object-oriented programming | gradual typing, duck typing, structural typing | 2 |
| Virgil | — | — | — |