EXERCISES

1. What are the primitive types in C and Java?
2. Enumerate all the type coercion and promotion rules in C.
3. Investigate the types as used in Perl language.
4. How will you implement the definition loop checking suggested in Section 6.4.1?
5. Implement the expr evaluation portion of the simple functional language interpreter given in Section 6.8, with all its type checking. The grammar is already given in yacc format. You will have to write yylex(), symbol tables manipulation functions (steal our tree-based functions). Remember that the emphasis is on type checking.