Another hole

• Built-in equality (=) function operates over the representation, not the abstraction

• That is, two values that are abstractly the same can be revealed to be different using =

• There are various proposals to try to fix these holes in ML

Previous slide

Next slide

Back to first slide

View graphic version