Serokell Blog company blog
Dependent Haskell Is the Future (2018)
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
- Points
- 166
- HN comments
- 269
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 16, 2019 | Dependent Haskell Is the Future (2018) by allenleein | 166 | 269 |
