Isn’t the Ada spec also not a formal spec? | Hacker News

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

		Ar-Curunir 4 months ago \| parent \| context \| favorite \| on: A comparison of Ada and Rust, using solutions to t... Isn’t the Ada spec also not a formal spec?

the_why_of_y 4 months ago [–]

The most popular language with a formal specification is Standard ML.

I guess this is terminology confusion on behalf of Surac, who probably just wants a specification that is independent of the rustc implementation.

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