"Why don't you use dependent types?"
https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html
#HackerNews #dependenttypes #programming #philosophy #typeTheory #HN #discussion #HackerNews
Post
"Why don't you use dependent types?"
https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html
#HackerNews #dependenttypes #programming #philosophy #typeTheory #HN #discussion #HackerNews
A space for Bonfire maintainers and contributors to communicate