Isn't that replacement called F#? | Hacker News

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

		esafak on Jan 21, 2024 \| parent \| context \| favorite \| on: Remembering Bell Labs as legendary idea factory pr... Isn't that replacement called F#?

nextos on Jan 22, 2024 | [–]

It's more like the predecessor to Dafny, which is still research-oriented.

DaiPlusPlus on Jan 21, 2024 | [–]

No.

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