Hacker News new | ask | show | jobs
by ridiculous_fish 85 days ago
That's exactly what affine / linear types do.