Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
marvag
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
marvag
2y ago
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 ambigu
2.
▲
by
marvag
2y ago
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 never occur in pr