What are your favorite statically typed, compiled, memory safe programming languages? - eviltoast
  • paperplane@lemmy.world
    link
    fedilink
    arrow-up
    2
    ·
    2 months ago

    Swift does have data race safety as of Swift 6 with their actor-based concurrency model and are introducing noncopyable types/a more sophisticated ownership model over the next few releases

    • Ephera@lemmy.ml
      link
      fedilink
      arrow-up
      1
      ·
      2 months ago

      Hmm, that sounds quite interesting. But because I’ve had to rebut that for everyone else that responded: Is it opt-in?

      I guess, I would be fine with opt-in for the actor pattern, since you either do actors in your whole codebase or you don’t, but otherwise, opt-in often defeats the point of safety measures…

      • paperplane@lemmy.world
        link
        fedilink
        arrow-up
        2
        ·
        2 months ago

        It’s opt-in in Swift 5 mode and opt-out in Swift 6 mode, the Swift 6 compiler supports both modes though and lets you migrate a codebase on a module-by-module basis.

        Agree that opt-in sort of defeats the point, but in practice it’s a sort of unavoidable compromise (and similar to unsafe Rust there will always be escape hatches)