Type inference was a mistake
Open link in next tab
Type Inference Was a Mistake
https://borretti.me/article/type-inference-was-a-mistake
On type inference as an academic computer science lab leak.
https://borretti.me/article/type-inference-was-a-mistake
On type inference as an academic computer science lab leak.
@Windex007
> You as the writer, you don’t know either?
Not until the compiler tells me.
> Or is the argument that nobody but the compiler and god need know? That having an awareness of the types has no value?
No, I want to know, because knowing the types has value. If the compiler has inference, it can tell me, if not, it can't.
I recognize that truly functional languages are their own beasts, with tons of amazing features provided by a ton of academic backing.
I will absolutely concede that I can't speak to them with a shred of competence. I don't know about the trade-offs and relative value propositions for pretty much anything in that space, let alone specifically w/ explicit typing.