James Baxter@discuss.online to Fediverse@lemmy.worldEnglish · 2 years agoWhy I started Sublinks: A timeline of eventsjasongr.imexternal-linkmessage-square37linkfedilinkarrow-up1102arrow-down13cross-posted to: discuss@discuss.online
arrow-up199arrow-down1external-linkWhy I started Sublinks: A timeline of eventsjasongr.imJames Baxter@discuss.online to Fediverse@lemmy.worldEnglish · 2 years agomessage-square37linkfedilinkcross-posted to: discuss@discuss.online
minus-squareasdfasdfasdf@lemmy.worldlinkfedilinkEnglisharrow-up7·edit-22 years 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.