James Baxter@discuss.online to Fediverse@lemmy.worldEnglish · 10 months agoWhy I started Sublinks: A timeline of eventsjasongr.imexternal-linkmessage-square37fedilinkarrow-up1104cross-posted to: fediverse@discuss.online
arrow-up1104external-linkWhy I started Sublinks: A timeline of eventsjasongr.imJames Baxter@discuss.online to Fediverse@lemmy.worldEnglish · 10 months agomessage-square37fedilinkcross-posted to: fediverse@discuss.online
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.