undefined | Better HN

0 pointsnequo2y ago0 comments

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.

0 comments

giraffe_lady2y ago

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.

wk_end2y ago

...except that the original ML uses the same syntax, and it's Scottish.

giraffe_lady2y ago

Oh interesting, nevermind then. This makes me question the french explanation for the other thing too.

c542y ago

It's fairly colloquial english to say you have "some of something", I think this matches the ocaml language convention pretty nicely

j / k navigate · click thread line to collapse

0 pointsnequo2y ago0 comments

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.

0 comments

giraffe_lady2y ago

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.

wk_end2y ago

...except that the original ML uses the same syntax, and it's Scottish.

giraffe_lady2y ago

Oh interesting, nevermind then. This makes me question the french explanation for the other thing too.

c542y ago

It's fairly colloquial english to say you have "some of something", I think this matches the ocaml language convention pretty nicely

j / k navigate · click thread line to collapse