184
top 13 comments
sorted by: hot top controversial new old
[-] vox@sopuli.xyz 37 points 10 months ago

rudt has implicit typing by default for variables tho...?

[-] FishFace@lemmy.world 13 points 10 months ago

Yeah but it doesn't cross function boundaries so it's more limited.

[-] Knusper@feddit.de 24 points 10 months ago

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 points 10 months ago* (last edited 10 months ago)

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 5 points 10 months ago* (last edited 10 months ago)

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 points 10 months ago

OCaml allows you to specify return types, but doesn't force you to.

[-] Prunebutt@feddit.de 16 points 10 months ago

Why am I laughing? I don't know any of these languages?

[-] meteokr@community.adiquaints.moe 11 points 10 months ago

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 19 points 10 months ago

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 points 10 months ago

I appreciate that fun fact. The meme now makes more sense.

[-] charje@lemmy.ml 1 points 10 months ago

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 4 points 10 months ago

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 points 10 months ago

OCaml stronk... it's an amazing language that more people should be familiar with!

this post was submitted on 14 Nov 2023
184 points (92.2% liked)

Programmer Humor

32050 readers
1518 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS