A Static Type Checker for B-Minor
In this post, we'll discuss the implementation of a static type checker for a simple, C-like language called B-Minor. B-Minor is a small language designed for use in an undergraduate compilers course, and it supports expressions, basic control flow, functions, and static type checking.
Here's an example B-Minor program:
// Prints the sum of all multiples of 3 and 5 less than n sumMultiples: function integer (n:…