|
|
|
|
|
|
by hk__2
418 days ago
|
|
|
I want a typing system with a good inference that doesn’t require me to type each and every variable, just like in any good statically-typed language like OCaml or Typescript. Strong typing and explicit typing are two very different things. |
|
|