Sandy Maguire personal blog

Implement with types, not your brain (2019)

When asked about the virtues of Haskell’s strong type system, most people will say the best part is that it lets you refactor with a zen-like tranquility, or that it stops your program from crashing at runtime. I mean, those are both great. But my favorite part is that having a strong type system means I don’t need to…
Points
192
HN comments
259
Submissions
2
Cited by
0 commenters

Programming LanguagesSoftware Engineering2020

On Hacker News

SubmittedTitle on HNPointsComments
Feb 25, 2020Implement with types, not your brain (2019) by pcr910303192119
Jun 25, 2019Implement with Types, Not Your Brain by Tehnix103140

More from Sandy Maguire

All 7 posts →

Related posts from the same era