Zulip Chat Archive
Stream: new members
Topic: Mutable Value Semantics vs FBIP
Somo S. (Aug 03 2023 at 08:54):
How does Mutable Value Semantics (MVS) differ from Lean4's Functional But In-Place (FBIP) paradigm?
MVS is implemented in val-lang and defined in this paper.
Last updated: Dec 20 2023 at 11:08 UTC