3 ms·
I was a bit put off by the introductory chapter where he is using a lot of nonstandard terms such as "abstract species/genus" rather than the usual type theoret
by Sirenos 4y ago
I was a bit put off by the introductory chapter where he is using a lot of nonstandard terms such as "abstract species/genus" rather than the usual type theoretic treatment. However, take that as the remark of an ignoramus.
- sicp-enjoyer 4y agoCan you say more about why that put you off? There are many different backgrounds from which to explore these topics, and type theory is just one way. Also the introduction isn't really trying to formalize computation itself, but give mathematical tools for talking about algorithms. The abstract species/genus is probably inspired more by Aristotle than CS topics.
- Jiocus 4y agoI don't think the terms "Abstract species/genus" ever came up, but it makes me think of Introductory course to Object-Oriented Programming (Java), lecture 5: Inheritance
- sicp-enjoyer 4y agoYou might be happy to know there is no inheritance in these books.