The Big Oops in Type Systems: This Problem Extends to FP as Well Building on Casey Muratori's critique ( youtube ) of "compile time hierarchies that match the domain model," this problem extends beyond OOP to encompass a broader pattern in static type systems, particularly functional programming approaches that attempt to "make illegal states unrepresentable." Type systems are often ranked in a…