Dependent types and how to get rid of them
https://chadnauseam.com/coding/pltd/are-dependent-types-actually-erased
#HackerNews #DependentTypes #Erasure #Coding #SoftwareDevelopment #Programming #LanguageTheory #HackerNews
Post
Dependent types and how to get rid of them
https://chadnauseam.com/coding/pltd/are-dependent-types-actually-erased
#HackerNews #DependentTypes #Erasure #Coding #SoftwareDevelopment #Programming #LanguageTheory #HackerNews
A space for Bonfire maintainers and contributors to communicate