Yeah, these look excellent. Am curious if D's invariants can be traced back to A... | Hacker News

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

12_throw_away on July 2, 2025 | parent | context | favorite | on: Features of D That I Love

Yeah, these look excellent. Am curious if D's invariants can be traced back to Ada/Spark at all (I don't know much about Ada except that it has these sorts of safety features).

johnisgood on July 2, 2025 [–]

Maybe this might help: https://news.ycombinator.com/item?id=44449835

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact