Type Safety

Newtypes let you give things names, but is that type safety? Andres Schmois, Cameron Gera, and Taylor Fausak explore a blog post by Alexis King.

• https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/
• https://www.youtube.com/watch?v=MEmRarBL9kw
• https://np.reddit.com/r/haskell/comments/jnwg7i/haskell_foundation_ama/