CSC 395 (Fall 2021)

Lab: Evaluating Types

In class, we discussed several perspectives on type systems and their ability to verify properties of code at compile time. Based on this analysis, list the pros and cons of type systems as you perceive them.