Pith. sign in

REVIEW

The Essence of Inheritance

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1601.02059 v1 pith:SSHGSRZU submitted 2016-01-09 cs.PL

classification cs.PL
keywords inheritancepurposecommunicateconcretedualessenceexampleshumans
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Programming languages serve a dual purpose: to communicate programs to computers, and to communicate programs to humans. Indeed, it is this dual purpose that makes programming language design a constrained and challenging problem. Inheritance is an essential aspect of that second purpose: it is a tool to improve communication. Humans understand new concepts most readily by first looking at a number of concrete examples, and later abstracting over those examples. The essence of inheritance is that it mirrors this process: it provides a formal mechanism for moving from the concrete to the abstract.

Discussion (0). Continue with ORCID to comment.

Pith tools