SwordInStone@lemmy.world to Programming@programming.dev · 1 year ago"How types make hard problems easy" (or at least reduce cognitive load over time)mayhul.comexternal-linkmessage-square12fedilinkarrow-up147arrow-down10
arrow-up147arrow-down1external-link"How types make hard problems easy" (or at least reduce cognitive load over time)mayhul.comSwordInStone@lemmy.world to Programming@programming.dev · 1 year agomessage-square12fedilink
minus-squareSwordInStone@lemmy.worldOPlinkfedilinkarrow-up16·1 year 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”