4 ms·ML still needs runtime type checks due to referencesby beecafe 4y agoML still needs runtime type checks due to referencesAthas 4y agoHow so? References are not polymorphic in SML (that's what the value restriction ensures).beecafe 4y agoYou're right, I misremembered, it was for equality instead.