Java 8 annotation processor and framework for deriving algebraic data ty...
? A research programming language on top of C macros
C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions