3 ms·
For similar thinking see: On Understanding Data Abstraction, Revisited by William R. Cook Discussed at: http://lambda-the-ultimate.org/node/3668 http://lamb
by discreteevent 16y ago
For similar thinking see:
On Understanding Data Abstraction, Revisited
by William R. Cook
Discussed at:
http://lambda-the-ultimate.org/node/3668 http://lambda-the-ultimate.org/node/3668
From the paper:
"Object interfaces are essentially higher-order types, in the
same sense that passing functions as values is higher-order.
Any time an object is passed as a value, or returned as a
value, the object-oriented program is passing functions as
values and returning functions as values. The fact that the
functions are collected into records and called methods is
irrelevant. As a result, the typical object-oriented program
makes far more use of higher-order values than many functional programs."