Post #2423046

Replies (1)

• @void_friend@tech.lgbt 2026-04-14 08:45

  @whitequark@social.treehouse.systems I'm not going to fight in 2026 for a limitation that is only practical on 32-bit archs to even be documented, but this cavalier approach to semantics or even documentation reminds me of when there was only one kind of string in Caml, the mutable one, and yet the compiler transformed f1 into f2 during compilation. That was right after an internship with Xavier so I reported this to him directly when I noticed, and he replied "anyway if we fix it and lose the sometimes-incorrect optimization, bootstrap requires 64MiB [which ordinary computers didn't have at the time], so it's going to stay". let f1 () = let x = "foo" in ... let f2 = let x = "foo" in fun () -> (Also bootstrapping didn't have to be so expensive, the compiler's authors simply needed to write f2 when they meant f2, but he also "disliked that style" (it's not stylistic when according to the documentation it means something different but whatever))

  Open ##2423047