News for hackers. Stuff that matters.

A comment on WASM_of_OCaml. Parent comment

Re:WASM_of_OCaml by nequo on Monday July 24, 2023 @12:41PM (#36850747)
I assume it also has a connection to how algebraic data types are written in OCaml. For example, the equivalent of Haskell's `Maybe` and Rust's `Option` is

  type 'a option = None | Some of 'a
So calling this project "WASM of OCaml" is one way of saying that it "wraps" OCaml code in WASM.
[ Parent | on HN ]
Re:WASM_of_OCaml by giraffe_lady on Monday July 24, 2023 @01:33PM (#36851508)
Right but why do they use "of" in that way for type declarations? Ends up being the same answer: it's a reasonable translation from french for a non-native english speaker.
[ Parent | on HN ]
Re:WASM_of_OCaml by wk_end on Monday July 24, 2023 @01:55PM (#36851812)
...except that the original ML uses the same syntax, and it's Scottish.
[ Parent | on HN ]
Re:WASM_of_OCaml by giraffe_lady on Monday July 24, 2023 @02:06PM (#36851974)
Oh interesting, nevermind then. This makes me question the french explanation for the other thing too then.
[ Parent | on HN ]
Re:WASM_of_OCaml by c54 on Monday July 24, 2023 @03:11PM (#36852911)
It's fairly colloquial english to say you have "some of something", I think this matches the ocaml language convention pretty nicely
[ Parent | on HN ]