Type Safety

09/11/2020 24 min Episodio 30
Type Safety

Listen "Type Safety"

Episode Synopsis

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/