• CanadaPlus@lemmy.sdf.org
        link
        fedilink
        English
        arrow-up
        5
        ·
        edit-2
        2 年前

        Yeah it’s a bit inaccurate to say it’s not supported. It just has edge case handling written explicitly into whatever thing you’re building (I assume it’s required to do so in order to be well-typed). It took this idea from Haskell, which might have gotten it from Miranda or something.

        • labsin@sh.itjust.works
          link
          fedilink
          English
          arrow-up
          2
          ·
          2 年前

          I like the pattern a lot more. It makes you just initialize the value and only keep it ‘nullable’ for where it’s needed and then you need to check. Even .net implemented it (but a bit more awkward)

          • CanadaPlus@lemmy.sdf.org
            link
            fedilink
            English
            arrow-up
            1
            ·
            2 年前

            Yup. Programmers are really stupid, if the compiler forces us to explicitly handle weird situations that’s a feature.

    • traches@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      3
      ·
      2 年前

      It also doesn’t have throw/try/catch. If a function can fail, it returns a Result and you have to deal with the failure case explicitly.