Ok, but then they should explain this particular case better. The RHS can be figured out just by choosing the overloaded operators. In C++ terms, if you have int& operator+(const int&x, const int& y) then (1 + 1) is not…
That is outrageous. It also cannot be blamed on Hindley Milner. While HM in theory has exponential worst case time, the constructs to trigger it for OCaml and Standard ML are far more complex, carefully constructed and…
Ok, but then they should explain this particular case better. The RHS can be figured out just by choosing the overloaded operators. In C++ terms, if you have int& operator+(const int&x, const int& y) then (1 + 1) is not…
That is outrageous. It also cannot be blamed on Hindley Milner. While HM in theory has exponential worst case time, the constructs to trigger it for OCaml and Standard ML are far more complex, carefully constructed and…