F*: A general-purpose proof-oriented programming language

Hacker News is discussing F*, a general-purpose programming language that incorporates formal proofs. The language is designed to help developers mathematically verify their code works correctly.

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton