News for hackers. Stuff that matters.

A comment on "Why don't you use dependent types?". Parent comment

Re:"Why don't you use dependent types?" by oggy on Tuesday November 04, 2025 @04:50AM (#45809142)
I see, so it unifies type (or I suppose term in this case?) erasure and linear typing? Thanks for the explanation!
[ Parent | on HN ]
Re:"Why don't you use dependent types?" by ChadNauseam on Tuesday November 04, 2025 @04:26PM (#45816072)
Exactly!
[ Parent | on HN ]