Hindley-Milner Type Inference (2012)

Re:Hindley-Milner Type Inference (2012) by lmm on Friday July 10, 2020 @11:34PM (#23799239)

Technically OCaml typechecking is exponential in the length of your program, but really that's just because it's exponential in the depth of your most deeply nested `let` construct, and most people don't actually write programs that look like

    let a = ...
      in let b = ...
        in let c = ...
          in let d = ...

[ Parent | on HN ]

Re:Hindley-Milner Type Inference (2012) by yawaramin on Saturday July 11, 2020 @01:33AM (#23799798)

Wait, that's actually really common in OCaml though. I mean not the indentation of course, but every series of let-bindings is essentially a single nested expression. That's just the way let-bindings work.

[ Parent | on HN ]