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: […]

Collect in Rust, traverse in Haskell and Scala

There’s a running joke in the functional programming community. Any Scala program can be written by combining the traverse function the correct number of times. This blog post is dedicated to that joke. In Rust, the Iterator trait defines a stream of values of a specific type. Many common types provide an Iterator interface. And […]