本文批判了面向对象编程在处理数字类型层次结构（例如自然数、整数、有理数等）时的缺陷，并提出了函数式编程的解决方案。作者以自然数和整数为例，指出OOP中基于继承的建模方式会导致“is a”关系的错误，以及代码冗余和维护困难等问题。相反，函数式编程通过代数数据类型和函数组合，能够更清晰、灵活地表示数字类型及其之间的关系，并通过类型提升和简化操作来减少代码冗余。