rudt has implicit typing by default for variables tho...?
36 0 ReplyYeah but it doesn't cross function boundaries so it's more limited.
13 0 ReplyIn 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.
23 0 ReplyIt'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
4 0 Reply
Why am I laughing? I don't know any of these languages?
16 0 ReplyFeel 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?
12 1 ReplyThe initial creator of Rust, Graydon Hoare, took lots of inspiration from OCaml. In fact, the first Rust compiler was written in OCaml.
18 0 ReplyI appreciate that fun fact. The meme now makes more sense.
8 0 Reply
JS doesn't do any type inference. Ocaml Connor l type checker knows all the types and is completely type safe without type annotations.
1 0 Reply
I remember learning Caml in (French) university in 1996, it was brand new and from INRIA guys, I understood about nothing about it :)
6 1 ReplyOCaml stronk... it's an amazing language that more people should be familiar with!
4 0 Reply