1 Leveraging the type system to avoid mistakes 2018167 points116 commentsSoftware Engineering details