Good resources on programming language design? [closed]

Answer 1

The Design and Evolution of C++ is good.

Object-Oriented Software Construction is too.

They are rather language-specific (C++, Eiffel), but there are lots of language-agnostic lessons.

Answer 2

You could check out the design documents of  Perl6

Perl6 Synopsis

If you read Synopsis 6, you will find out that the addition operator is named:

• infix:<+>
• infix:«+»
• infix:<<+>>
• infix:{'+'}
• infix:{"+"}

Which means you can create your own operators:

sub postfix:<!> ($n) { [*] 1..$n }

Answer 3

There are great books explaining the design principles applied in widely used languages, but if you really want to "understand" the design principles you should dig deeper. I would surely recommend "Design concepts in programming languages" by franklyn turbak. This book tries to systematically explore programming language concepts based on it's mathematical foundations.

Answer 4

The web site 'lambda the ultimate' is very much about programming languages, and they occasionally have some good resources, although they tend to be more interested in academic kinds of things. Functional programming is big there, for instance.

http://lambda-the-ultimate.org/node/3

http://lambda-the-ultimate.org/papers

http://lambda-the-ultimate.org/node/492

Answer 5

You could take a page from the same place as Java, Ruby, Objective C, and others and check out Design Priciples Behind Smalltalk. Much of this is foundational material on communication between objects, rather than anything about Smalltalk specifically.

As far as really thoughtful books on langauge design, I think The Design and Evolution of C++ definitely deserves a mention. I hesitate since you say that you want the "perfect" OO language, and C++ is far from perfect. You could probably still learn a lot from it, though.

The points you bring up, though, seem like they have more to do with the Principle of Least Astonishment or the Rule of Least Surprise than with the design of language internals.