James Baxter@discuss.online to Fediverse@lemmy.worldEnglish · 10 months agoWhy I started Sublinks: A timeline of eventsjasongr.imexternal-linkmessage-square37fedilinkarrow-up1104arrow-down13cross-posted to: [email protected][email protected]
arrow-up1101arrow-down1external-linkWhy I started Sublinks: A timeline of eventsjasongr.imJames Baxter@discuss.online to Fediverse@lemmy.worldEnglish · 10 months agomessage-square37fedilinkcross-posted to: [email protected][email protected]
minus-squareasdfasdfasdf@lemmy.worldlinkfedilinkEnglisharrow-up7·edit-210 months agoExceptions opt out of the type system. The problem with them is the same problem as null. Here’s a video of the creator of null explaining: https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/ Null and errors are just values at the end of the day, and should be treated as such. Doing so means your code is far easier to reason about. Rust takes this approach and is one of the many reasons people love it so much.
Exceptions opt out of the type system. The problem with them is the same problem as null. Here’s a video of the creator of null explaining: https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/
Null and errors are just values at the end of the day, and should be treated as such. Doing so means your code is far easier to reason about.
Rust takes this approach and is one of the many reasons people love it so much.