Oh, great! Another riveting read on #GADTs and #performance from the folks over at Jane Street, because who doesn't love a good bedtime story about #OCaml and type systems? 💤✨ Spoiler alert: GADTs are apparently the unsung heroes of speed, and if you don't obsess over them, you're clearly doing life wrong. #NerdAlert 🚀
https://blog.janestreet.com/why-gadts-matter-for-performance/ #TypeSystems #JaneStreet #NerdAlert #HackerNews #ngated