| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| Céu | — | — | — |
| Elm | 2012 | static typing, inference typing, strong typing | 2 |
| Lucid | 1976 | — | — |
| QML | 2009 | dynamic typing, strong typing | 2 |
| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| Céu | — | — | — |
| Elm | 2012 | static typing, inference typing, strong typing | 2 |
| Lucid | 1976 | — | — |
| QML | 2009 | dynamic typing, strong typing | 2 |