3 ms·
Functional languages are defined using the Lambda calculus. Imperative languages are defined as a model of the Turing machine. The implementation details, such
by jmillikin 17y ago
Functional languages are defined using the Lambda calculus. Imperative languages are defined as a model of the Turing machine.
The implementation details, such as the in-memory format of integers, are irrelevant to the language.