|
|
|
|
|
by giraffe_lady
929 days ago
|
|
The other side of "why do I have to remember this when I could write it" is "why do I have to write it when the compiler already knows it?" I love complete inferred type systems, using one has completely changed how I think about types and what I expect from a programming language. I feel ill every time I have to use go or typescript. Like I am teaching the compiler how to compile. This is not my job, it's a waste of time and energy, it should already know. Things like rescript and ocaml are where my attention is going for typed languages in the future. |
|