Previous posts in this series introduced Frml, explained how it checks simplar scalar code and handles contracts between functions, and then discussed how it deals with loops, checks arrays, and checks built-in functions. The final language level, complete, doesn’t add any new features. Instead, it serves as a placeholder in case we want to extend the language further. I’m not going to do this myself, but if you are a student (or a professor looking for projects for students) please get in touch. Algebraic Data Types and Pattern Matching Add enum sum types and a match expression to teach structural...