6 ms·
Ocaml is probably closest to that. The ML language family has roots in generic code with global type inference.
by rzmmm 4mo ago
Ocaml is probably closest to that. The ML language family has roots in generic code with global type inference.
6 ms·