5 ms·
I think it's a great convention. It means you write i = int_of_string s where the "i" is next to the "int" and the "s" is next to the "string". i =
by tome 3y ago
I think it's a great convention. It means you write
i = int_of_string s
where the "i" is next to the "int" and the "s" is next to the "string".
i = string_to_int s
just looks backwards to me.
- esrauch 3y agoThe topic here isn't so much the order but whether "of" in int_of_string matches a common/typical usage of the word. From the other comments sounds like its local style for OCaml maybe because of some French lineage, but that "int_of_string" is a function that converts a string into an int was definitely not something that I would have assumed (as opposed to 'int_from_string' or something).
- IshKebab 3y agoIt doesn't sound especially weird to me and I'm not French. It's just "[create an] int [out] of [a] string" "from" would have made more sense.
- esrauch 3y agoThe words in brackets are doing all of the heavy lifting in your example though: "Of" without "out of" means "constituted by". If in isolation I saw "array_of_string" I'd definitely parse that as somehow being about str[], not "f(str) -> char[]"
- tome 3y agoWell, if the word order is the most important aspect (as it is to me) then you have to think of another word you can use instead of "of". I know that in my early Haskell programming I was writing `intOfString` where other Haskellers wrote `stringToInt`. I'm a native English speaker so it certainly had nothing to do with French! "Of" just seemed to fit naturally there. Do you think "From" or some other English word would be more natural?
- marcosdumay 3y agoThe Haskell culture clearly dictates "i = fromString s". And as a consequence, Rust has it standardized as "i = from s".
- tome 3y agoWhat do you do if you want to disambiguate the return type? I suppose `intFromString` works. I'm not sure what I chose `intOfString`. It's not because I'm French!
- marcosdumay 3y agoYou would declare the type of the returning value: (i :: Int) = fromString s Although once in a while it's useful to make a short synonym for disambiguating the type, x_of_y is certainly not a short synonym, so it's not commonly used.
- abecedarius 3y agoBetter yet, compare f = glork_to_floob (crumb_to_glork c) versus f = floob_of_glork (glork_of_crumb c) and picture the first style inside a more complex function with more constructors/conversions.
- tome 3y agoYes, even better example, thanks! In Haskell you get f = floob_of_glork . glork_of_crumb . crumb_of_zing which is much better than f = glork_to_floob . crumb_to_glork . zing_to_crumb
- nequo 3y agoInteresting. The pipe operator is more idiomatic in OCaml where this would be crumb_of_zing x |> glork_of_crumb |> floob_of_glork versus zing_to_crumb x |> crumb_to_glork |> glork_to_floob
- abecedarius 3y agoYeah, fair. Forth especially really commits to that left-to-right order in its general style -- I like it when a language and its culture are conscious about readability in this way.
- tome 3y agoIt is interesting that the "of" style is common in Ocaml where the left-to-right style is common. They seem to clash! I would like to know what it's like to work in a fully left-to-right language, for example, to define `my_floob`: let my_crumb |> zing_to_crumb |> crumb_to_glork |> glork_to_floob = my_floob
- nequo 3y agoIn addition to Forth, R can do this too: x |> zing_to_crumb() |> crumb_to_glork() |> glork_to_floob() -> my_floob But it is not idiomatic.