I have plan to do just this. See N3211 and N3395 for an initial sketch. https://... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		uecker 7 months ago \| parent \| context \| favorite \| on: Ask HN: A retrofitted C dialect? I have plan to do just this. See N3211 and N3395 for an initial sketch. https://www.open-std.org/jtc1/sc22/wg14/www/wg14_document_lo...

anqurvanillapy 7 months ago [–]

Cool, and the paper mentioned in the document "Dependent Types for Low-Level Programming" [1] is such a gem.

[1]: https://people.eecs.berkeley.edu/~necula/Papers/deputy-esop0...

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact