well there's MIRI | Hacker News

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

		_bent 54 days ago \| parent \| context \| favorite \| on: C3 solved memory lifetimes with scopes well there's MIRI

pjmlp 54 days ago | [–]

However you cannot use it as a general purpose implementation.

nextaccountic 54 days ago | [–]

miri is godawful slow though

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