Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for modern computing problems

Key Features

• Takes a hands-on approach; learn by building the Jzero language, a subset of Java, with example code shown in both the Java and Unicon languages
• Learn how to create parsers, code generators, scanners, and interpreters
• Target bytecode, native code, and preprocess or transpile code into a high-level language

Book Description

There are many reasons to build a programming language: out of necessity, as a learning exercise, or just for fun. Whatever your reasons, this book gives you the tools to succeed.

You’ll build the frontend of a compiler for your language and generate a lexical analyzer and parser using Lex and YACC tools. Then you’ll explore a series of syntax tree traversals before looking at code generation for a bytecode virtual machine or native code. In this edition, a new chapter has been added to assist you in comprehending the nuances and distinctions between preprocessors and transpilers. Code examples have been modernized, expanded, and rigorously tested, and all content has undergone thorough refreshing. You’ll learn to implement code generation techniques using practical examples, including the Unicon Preprocessor and transpiling Jzero code to Unicon. You'll move to domain-specific language features and learn to create them as built-in operators and functions. You’ll also cover garbage collection.

Dr. Jeffery’s experiences building the Unicon language are used to add context to the concepts, and relevant examples are provided in both Unicon and Java so that you can follow along in your language of choice.

By the end of this book, you'll be able to build and deploy your own domain-specific language.

What you will learn

• Analyze requirements for your language and design syntax and semantics.
• Write grammar rules for common expressions and control structures.
• Build a scanner to read source code and generate a parser to check syntax.
• Implement syntax-coloring for your code in IDEs like VS Code.
• Write tree traversals and insert information into the syntax tree.
• Implement a bytecode interpreter and run bytecode from your compiler.
• Write native code and run it after assembling and linking using system tools.
• Preprocess and transpile code into another high-level language

Who this book is for

This book is for software developers interested in the idea of inventing their own language or developing a domain-specific language. Computer science students taking compiler design or construction courses will also find this book highly useful as a practical guide to language implementation to supplement more theoretical textbooks. Intermediate or better proficiency in Java or C++ programming languages (or another high-level programming language) is assumed.

Table of Contents

1. Why Build Another Programming Language?
2. Programming Language Design
3. Scanning Source Code
4. Parsing
5. Syntax Trees
6. Symbol Tables
7. Checking Base Types
8. Checking Types on Arrays, Method Calls, and Structure Accesses
9. Intermediate Code Generation
10. Syntax Coloring in an IDE
11. Preprocessors and Transpilers
12. Bytecode Interpreters
13. Generating Bytecode
14. Native Code Generation
15. Implementing Operators and Built-In Functions
16. Domain Control Structures
17. Garbage Collection
18. Final Thoughts
19. Appendix: Unicon Essentials
20. Answers

Clinton L. Jeffery is Professor and Chair of the Department of Computer Science and Engineering at New Mexico Institute of Mining and Technology. He received his B.S. from the University of Washington, and M.S. and Ph.D. degrees from the University of Arizona, all in computer science. He has conducted research and written many books and papers on programming languages, program monitoring, debugging, graphics, virtual environments, and visualization. With colleagues, he invented the Unicon programming language, hosted on the Unicon website.

Imran Ahmad has been a part of cutting-edge research about algorithms and machine learning for many years. He completed his PhD in 2010, in which he proposed a new linear programming-based algorithm that can be used to optimally assign resources in a large-scale cloud computing environment. In 2017, Imran developed a real-time analytics framework named StreamSensing. He has since authored multiple research papers that use StreamSensing to process multimedia data for various machine learning algorithms. Imran is currently working at Advanced Analytics Solution Center (A2SC) at the Canadian Federal Government as a data scientist. He is using machine learning algorithms for critical use cases. Imran is a visiting professor at Carleton University, Ottawa. He has also been teaching for Google and Learning Tree for the last few years.