Classification - nponeccop/HNC GitHub Wiki
Classification of Type Systems
There are many similar toy programming languages.
ML family
| Language | Inference | Nominal |
|---|---|---|
| Purescript | ? | Y |
| Haskell2010 | Full | Y |
| Ocaml | Y | |
| HNC | Y | |
| Oczor | ||
| L | ||
There are many similar toy programming languages.
| Language | Inference | Nominal |
|---|---|---|
| Purescript | ? | Y |
| Haskell2010 | Full | Y |
| Ocaml | Y | |
| HNC | Y | |
| Oczor | ||
| L | ||