Hacker News new | ask | show | jobs
by remywang 2 hours ago
That’s because syntax is the least interesting part of F*.
1 comments
thomastjeffery 2 hours ago
Then why are we all so interested?

Examples provide more than syntax. It's the semantics that we care about most.

link
aleph_minus_one 1 hour ago
> Examples provide more than syntax. It's the semantics that we care about most.

... and this semantics is explained in a quite encompassing way in the introductory notes "Proof-Oriented Programming in F*":

> https://fstar-lang.org/tutorial/proof-oriented-programming-i...

> https://fstar-lang.org/tutorial/

link