Right and wrong: ten choices in language design

TL;DR

This paper discusses critical language design choices affecting software quality, critiques traditional object-oriented languages, and explains Eiffel's mechanisms as a thoughtful approach to these issues.

Contribution

It provides a detailed analysis of language design choices and introduces Eiffel's mechanisms as a novel solution to common problems.

Findings

Eiffel's mechanisms improve software reliability.

Traditional OO languages often neglect key design considerations.

Language design choices significantly impact software quality.

Abstract

A description of language design choices that have profound effects on software quality, criticism of how ordinary OO languages address them, and explanation of the thinking behind Eiffel's corresponding mechanisms.