4 ms·

> Which OCaml features exist in Rust but not Haskell? Rust's most important feature! The bootstrapped implementation.

• lkitching 2y ago
  I'm not convinced the implementation language of the compiler counts as a feature of the Rust language. If the argument is that Rust wouldn't have been invented without the original author wanting a 'systems OCaml' then fine. But it's possible Rust would still look similar to how it does now in a counterfactual world where the original inspiration was Haskell rather than OCaml, but removing the Haskell influence from Rust as it is now would result in something quite different.
  • randomdata 2y ago
    Rust isn't just a language, though. Additionally, unlike some languages that are formally specified before turning to implementation, Rust has subscribed to design-by-implementation. The implementation is the language.
    • lkitching 2y ago
      That just means the semantics of the language are defined by whatever the default implementation does. It's a big stretch to conclude that means Rust 'was' OCaml in some sense when the compiler was written with it. Especially now the Rust compiler is written in Rust itself.
      • randomdata 2y ago
        You're overthinking again. Read what is said, not what you want it to say in some fairytale land.