• Knusper@feddit.de
        link
        fedilink
        arrow-up
        21
        ·
        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.

        • voxel@sopuli.xyz
          link
          fedilink
          arrow-up
          4
          ·
          edit-2
          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
        link
        fedilink
        arrow-up
        5
        ·
        edit-2
        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

  • meteokr@community.adiquaints.moe
    link
    fedilink
    arrow-up
    11
    arrow-down
    1
    ·
    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?

  • Magister@lemmy.world
    link
    fedilink
    arrow-up
    5
    arrow-down
    1
    ·
    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 :)