| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| Elm | 2012 | static typing, inference typing, strong typing | 2 |
| Flapjax | — | dynamic typing, duck typing | — |
| XOD | 2016 | — | — |
| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| Elm | 2012 | static typing, inference typing, strong typing | 2 |
| Flapjax | — | dynamic typing, duck typing | — |
| XOD | 2016 | — | — |