The closest to what you want might be ATS. | Hacker News

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

		throwaway999888 on Jan 22, 2016 \| parent \| context \| favorite \| on: Verified Programming in F*: A Tutorial The closest to what you want might be ATS.

MichaelBurge on Jan 22, 2016 [–]

Thanks for the suggestion - ATS does look interesting and I hadn't heard of it before.

doublec on Jan 22, 2016 | [–]

I wrote some posts on using ATS and interfacing with C if you want to dig further into it https://bluishcoder.co.nz/tags/ats/

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