4 ms·
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 t
by nequo 3y ago
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.
- giraffe_lady 3y agoRight 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.
- wk_end 3y ago...except that the original ML uses the same syntax, and it's Scottish.
- giraffe_lady 3y agoOh interesting, nevermind then. This makes me question the french explanation for the other thing too.
- c54 3y agoIt's fairly colloquial english to say you have "some of something", I think this matches the ocaml language convention pretty nicely