Hacker News Reader

ML still needs runtime type checks due to references

How so? References are not polymorphic in SML (that's what the value restriction ensures).

You're right, I misremembered, it was for equality instead.