• 0 Posts
  • 36 Comments
Joined 1 year ago
cake
Cake day: July 15th, 2023

help-circle
  • I think a better solution would be to add a method called something like ulock that does a combined lock and unwrap.

    My concern with lock+unwrap is only partly because of convenience; I also didn’t like it because I think it’s a bad idea to get people used to casually calling unwrap, because it tends to hide inadequate error handing.

    Now that I think about it, I don’t like how unwrap can signal either “I know this can’t fail”, “the possible error states are too rare to care about” or “I can’t be bothered with real error handing right now”. In one or two of those cases you want to leave it in my production code, and in the last you want to audit all instances and replace them with proper error handing. Using the same function for all three cases makes that difficult.



  • Looks like the author missed my main complaint about Rust mutexes, which is that the lock method returns a Result. There should be a try_unlock method for when someone actually wants to handle the rather obscure failure case, and the name lock should be used for a method that panics on failure but returns a value that doesn’t need to be unwrapped first. I see the current arrangement as being about as sensible as having array subscripting return a Result to handle the case of a failed bounds check.





  • lolcatnip@reddthat.comtoScience Memes@mander.xyzWitchcraft
    link
    fedilink
    English
    arrow-up
    9
    arrow-down
    2
    ·
    edit-2
    8 days ago

    Not really. The left side comes from trying to evaluate the Reimann zeta function at a point outside its domain, and the right side comes from evaluating the analytic continuation of the zeta function at the same point. The deepest truth it reveals is that applying the definition of a function outside its domain can give you nonsense results.

    It’s one of those ideas like Scrödinger’s cat or pulling yourself up by your bootstraps, where something that was intended to illustrate an absurdity is instead taken as representing some amazing and unintuitive truth.





  • The fact that we’re having this discussion at all kind of proves that either English is losing the distinction, or it was never as clear a distinction as people sometimes make it out to be. Either way I’m fine with it because it doesn’t seem like a very useful distinction to make in everyday language, and you can sidestep it entirely by using a word like toxic instead.