FP Complete

Type Safety Doesn’t Matter

I’m a huge believer in using strongly typed languages and leveraging type level protections in my codebases. But I’d like to clarify my new, somewhat modified stance on this: Type safety does not matter. What I mean is that, on its own, type safety is not important. It’s only useful because of what it accomplishes: […]