• Knusper@feddit.de
      link
      fedilink
      arrow-up
      22
      ·
      1 year 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
        5
        ·
        edit-2
        1 year 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
      3
      ·
      edit-2
      1 year 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