compile time user config checking? | Hacker News

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

		gmadsen 6 months ago \| parent \| context \| favorite \| on: A comparison of Ada and Rust, using solutions to t... compile time user config checking?

prerok 6 months ago [–]

Sorry? That's not possible...

gmadsen 6 months ago | [–]

I've seen it plenty of times. safety critical controllers have numeric bounds of stability. why wouldn't you want to encode that into the type

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact