| ▲ | bbkane 10 hours ago | |
I'd particularly like examples of statically typed languages that "got it right" (since I love me my types) | ||
| ▲ | galangalalgol 10 hours ago | parent [-] | |
Ocaml maybe? Multi threading didn't seem necessary and introduced the possibility of data races. | ||