← Back to context

Comment by account42

1 year ago

Making programmers manually annoate every single function is infinitely more costly.

That rather depends. Compile time certainly wouldn't scale linearly with the size of a function, you could well reach a scenario where adding in a line to a function results in a year being added to the compile time.

Are you also a proponent of nonlocal type inference? Do you think annotating types is too costly for programmers?