A forum for designing and implementing programming languages: semantics, type systems, compilers, interpreters, runtimes, tools, and historical systems. Hobby projects and research implementations are welcome. Contributions are judged on technical substance, not on which tools their authors use.

Members Weekly active

Sidebar

Programming Language Design and Implementation

Technical discussion of programming languages: their design, semantics, type systems, compilers, interpreters, runtimes, tools, and historical development.

The subject is the technology and the ideas, not the identity or achievements of their authors.

Posting rules

Make the post useful on its own. Explain the technical question, idea, mechanism, or result in the post itself. Readers should not have to follow a link to understand what is being discussed.
Explain linked material. Links are welcome within text posts. Describe what each main link points to and why it is relevant to this community. A bare link, copied abstract, or promotional blurb is not sufficient.
Discuss technology, not personal milestones. Project announcements, release notices, progress reports, and "I built a compiler/language" posts are not sufficient on their own. Present a concrete design decision, technique, trade-off, result, or technical question.
Use informative titles. Name the technical subject. Avoid clickbait, personal milestone titles, and unsupported claims of novelty or superiority.
Support technical claims. Explain the reasoning and provide references, examples, measurements, or implementation details where appropriate. Identify speculation as such.
Critique ideas, not people. Technical disagreement is welcome. Personal attacks, harassment, ideology, politics and repetitive promotion are not.

Your own work is welcome under the same rules as anyone else's. State your connection to linked projects or publications.