3 months ago

Mon Nov 3, 2025 5:49pm PST

Dependent types and how to get rid of them

@pie_flavor

Recent and related: Why don't you use dependent types? - https://news.ycombinator.com/item?id=45790827 (116 comments)

read article

comments:

add comment

loading comments...