3 ms·
Static typing doesn’t mean you have to declare types. Type inference means you can write code just like a non-typed language but you get the safety + it execute
by hk__2 10y ago
Static typing doesn’t mean you have to declare types. Type inference means you can write code just like a non-typed language but you get the safety + it executes faster. IMHO, except for toy languages, not having (strict) typing in 2017 is a language design flaw.
- pmontra 10y agoIt's a tradeoff between safety and convenience. It's swinging toward safety now and it will swing back towards convenience again. At best we're living in a damped harmonic oscillator. Maybe type inference is the equilibrium point.