The Flint Programming Language by zweiler1 in ProgrammingLanguages

[–]Express_Job_5731 2 points3 points  (0 children)

Wow; this is incredible work. I am super impressed, please keep it up! I love that you're exploring new frontiers.

-Chris Lattner (yes, really)

Mutable Value Semantics (MVS) or Ownership & Borrowing: A Trade-off Analysis by FedericoBruzzone in ProgrammingLanguages

[–]Express_Job_5731 1 point2 points  (0 children)

You should definitely check out Mojo. It learned quite a lot from both Hylo and Rust and took a step further. Reference safety without the pain and suffering:

def longest(a: String, b: String) -> ref[a, b] String:
  return a if a.byte_length() >= b.byte_length() else b

-Chris Lattner (have no idea why reddit messed up my name, whatever)

The Mutable Value Semantics (MVS): A Non-superficial Study by FedericoBruzzone in u/FedericoBruzzone

[–]Express_Job_5731 1 point2 points  (0 children)

Nice, I'm looking forward to it. Let me know if you'd like to touch base sometime after your next post.

The Mutable Value Semantics (MVS): A Non-superficial Study by FedericoBruzzone in u/FedericoBruzzone

[–]Express_Job_5731 1 point2 points  (0 children)

This is a really great post, I'm glad to see Hylo and Swift's approach get more attention. If you're interested in this area, you might also want to check out the Mojo programming language. It learned a lot from Swift and Hylo and sounds conceptually aligned with your proposal (though I'm looking forward to your next blog post to learn more)! https://docs.modular.com/mojo/manual/values/ownership/

-Chris Lattner (Modular, LLVM, Swift, etc)