alt Hacker NewsClicked like 5 pages and never found 1 code example.
Idk why languages don't have their syntax in a sandbox front-and-center on the home page.
It's like a video game site with zero screenshots or videos (also rampant).
New programming languages I want 2 things:
1. What does the syntax look like
2. Why would I use this language
Talk about the proof logic, show the syntax, thank you
Replies
I'm the opposite: when landing in a programming language site I want to know the user case the authors had in mind, the memory model, the type system, the compilation targets, the data layout, the control structures, and only at the end just check that the syntax is not indentation based.
> Clicked like 5 pages and never found 1 code example.
But I clicked one (1) link to the online book and found a thousand?
I clicked on 2 links on the main page in the Learn F* section...
Thank you ! I just had the absolute same experience and was about to write a similar comment - take my upvote instead !
What? There’s literally a completely interactive book linked right from the home page.
To borrow your video game analogy. F* is the dwarf fortress of programming languages. Screenshots are only going to confuse anyone who isn't ready to take a significant mental journey.