A Calculus of Inheritance · HackerPapers discussions

A Calculus of Inheritance — mentioned by ggm

Wed, 25 Feb 2026 00:01:19 GMT

Yes, and here is the result. The question was can you give me a critique of __https://arxiv.org/abs/2602.16291__ And the last part of the response was: Overall assessment This is an intriguing paper with genuinely creative ideas, but the abstract raises as many questions as it answers. The reliance on naive set theory combined with self-reference is the most technically worrying aspect and would be the first thing to scrutinize in the full paper. The multiple inheritance claims seem plausible but likely trade expressiveness for simplicity. The broader practical claims (Expression Problem…

Paper and discussion history. A mention is not an endorsement.

A Calculus of Inheritance — mentioned by ggm

Tue, 24 Feb 2026 06:00:03 GMT

I fed the abstract into an AI with the prompt: can you give me a critique of https://arxiv.org/abs/2602.16291 from the point of view of a functional programmer who is skeptical and I liked the answer. I won't post it here, because I think AI answers are generally noise and quite tiresome, but there is one sentence which stuck in my mind: The extraordinary breadth of the claims calls for an extraordinary level of rigor in the proofs. In the spirit of equality, I then posed this prompt: can you give me a critique of __https://arxiv.org/abs/2602.16291__ from the point of view of a imperative…

Paper and discussion history. A mention is not an endorsement.

A Calculus of Inheritance — HN submission

Tue, 24 Feb 2026 05:45:44 GMT

Are functions just syntactic sugar for inheritance?

2 points; 5 discussion replies on HN. Paper and source history. A submission is not an endorsement.