Software Unscripted cover image

Haskell and Clojure in Production with Eric Normand

Software Unscripted

00:00

Type Checkers

I'm a big fan of like once something gets sufficiently mature, just make it faster and that's it. Don't change the idea. That's an interesting approach. It seems like most type checkers try to just like do their best with all that stuff. And that seems like it's better for adoption, but less good in terms of how much you can trust what it what comes out the other side. I think it might have some adoption in the closure world. We're very into like a library being done. Like there's no new features. What else would it need?

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app