-
Book Overview & Buying
-
Table Of Contents
-
Feedback & Rating

Build Your Own Programming Language
By :

This is the second of two chapters regarding type checking. The previous chapter introduced type checking for built-in atomic types. In comparison, this chapter will cover more complex type checking operations.
This chapter will show you how to perform type checks for the arrays, parameters, and return types of method calls in the Jzero subset of Java. Additionally, it includes the type checking of composite types such as classes.
In this chapter, we will cover the following main topics:
By the end of the chapter, you will be able to write more sophisticated tree traversals to check types that themselves contain one or more other types. Being able to support such composite types in your programming language is necessary for you to go beyond toy programming languages and into the realm of languages that are...