3 ms·
i'd like to know how we make correct software
by moocowtruck 9y ago
i'd like to know how we make correct software
- lmm 9y agoType systems and languages that make them easy to use. I mean, other approaches are possible, but type systems are something we already all use and understand, and they seem to be enough.