F\* is a research project thats almost 15 years old! Its not part of the recent ... | Hacker News

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

		TypingOutBugs 11 months ago \| parent \| context \| favorite \| on: F: A proof oriented general purpose programming l... F is a research project thats almost 15 years old! Its not part of the recent wave of languages

mpweiher 11 months ago [–]

Cool!

Though I'd say we've been stuck since about the 80s.

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