@SwordInStone to [email protected] • 1 month ago"How types make hard problems easy" (or at least reduce cognitive load over time)mayhul.comexternal-linkmessage-square12arrow-up150arrow-down10cross-posted to: [email protected]
arrow-up150arrow-down1external-link"How types make hard problems easy" (or at least reduce cognitive load over time)mayhul.com@SwordInStone to [email protected] • 1 month agomessage-square12cross-posted to: [email protected]
minus-square@SwordInStoneOPlink17•1 month agoThey probably mean “not running” as “I’ve written the types and the static type checker is not giving an error”
They probably mean “not running” as “I’ve written the types and the static type checker is not giving an error”