c/programmerhumor · by gpopides@lemmy.world · 2yBrought to you by the ocaml gang 190 points · 13 comments · view on lemmy.world
13 Comments
vox@sopuli.xyz · 36 pts · 2y
rudt has implicit typing by default for variables tho...?
FishFace@lemmy.world · 13 pts · 2y
Yeah but it doesn't cross function boundaries so it's more limited.
Knusper@feddit.de · 23 pts · 2y
In other words, in OCaml, you don't have to write type annotations into the function parameter list. It will infer even those.
It's useful for small ad-hoc functions, but personally, I'm glad that Rust is more explicit here.
vox@sopuli.xyz · 6 pts · 2y
yeah structs, consts ets should always be explicit, prevents a lot oh headache
also, for adhoc stuff rust has closures which can be fully inferred (but you need to convert them to explicit function pointers for storage in structs/consts)
fl42v@lemmy.ml · 4 pts · 2y
It's not like it's more limited, it's just so that it can yell at you when you return not what you said you're going to, IMO
FishFace@lemmy.world · 2 pts · 2y
OCaml allows you to specify return types, but doesn't force you to.
Prunebutt@feddit.de · 16 pts · 2y
Why am I laughing? I don't know any of these languages?
meteokr@community.adiquaints.moe · 11 pts · 2y
Feel like this joke would work better with TS | JS. Since that's the point of the former. I don't know how rust and ocaml are related?
Knusper@feddit.de · 18 pts · 2y
The initial creator of Rust, Graydon Hoare, took lots of inspiration from OCaml. In fact, the first Rust compiler was written in OCaml.
meteokr@community.adiquaints.moe · 8 pts · 2y
I appreciate that fun fact. The meme now makes more sense.
charje@lemmy.ml · 1 pts · 2y
JS doesn't do any type inference. Ocaml Connor l type checker knows all the types and is completely type safe without type annotations.
Magister@lemmy.world · 5 pts · 2y
I remember learning Caml in (French) university in 1996, it was brand new and from INRIA guys, I understood about nothing about it :)
xmunk@sh.itjust.works · 4 pts · 2y
OCaml stronk... it's an amazing language that more people should be familiar with!