| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| C* | 1987 | manifest typing, static typing, weak typing | — |
| Ease | 1991 | strong typing | — |
| Halide | 2012 | static typing | — |
| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| C* | 1987 | manifest typing, static typing, weak typing | — |
| Ease | 1991 | strong typing | — |
| Halide | 2012 | static typing | — |