|
|
|
|
|
|
by grumpyprole
809 days ago
|
|
|
> Type inference is only for variable bindings inside the function body. This is a lot more tractable. Type inference inside a function body, is still type inference. Type inference gives us options and can sometimes improve readability. I find the title and premise of this article rather silly. |
|
|