Ruby Type Checking Compiler Construction Lecture