Dependent types and how to get rid of them

原始链接: https://chadnauseam.com/coding/pltd/are-dependent-types-actually-erased