Re:Types are the basic tool of software design
by scalaisneat on Friday January 03, 2025 @11:44AM
(#42587144)
I agree with this sentiment but view it inherently as a feature of languages like f# and Haskell - That small ripple at compile times makes trusting refractors easier. After having experienced this, languages like python become really challenging to grok without heavy unit testing.
[ Parent
| on HN ]
Re:Types are the basic tool of software design
by kibwen on Friday January 03, 2025 @01:12PM
(#42588032)
There's also a middle ground which is to support function-local type inference, but not inter-function type inference, which guarantees that such an "anchor" is never all that far away (especially never in another file). This is the approach Rust uses.