this post was submitted on 26 Jan 2024
101 points (97.2% liked)
Fediverse
28246 readers
236 users here now
A community to talk about the Fediverse and all it's related services using ActivityPub (Mastodon, Lemmy, KBin, etc).
If you wanted to get help with moderating your own community then head over to [email protected]!
Rules
- Posts must be on topic.
- Be respectful of others.
- Cite the sources used for graphs and other statistics.
- Follow the general Lemmy.world rules.
Learn more at these websites: Join The Fediverse Wiki, Fediverse.info, Wikipedia Page, The Federation Info (Stats), FediDB (Stats), Sub Rehab (Reddit Migration), Search Lemmy
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I'm all for competition within the Fediverse (that's a big strength of the Fediverse if you ask me). I just wish we'd move on from Java and other exception-based languages.
What's wrong with exceptions?
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.
What @[email protected] said, but also they kind of have the same problem as goto. The control flow becomes very complicated and you can jump from one place in the code to another extremely far away.
Spooky action at a distance, basically.
Because exceptions are old and the new (recycled) kids are much more fun to play with? Or people yearn to implement the low level switch-case pattern error matching mechanism all over again, which try-catch-exceptions were solving.
I think there is no moving on from a paradigm as long as it has a function.