3 ms·
> these are not the kind of problems which are related to ["HTTP server", "hello world", "todo list app", ...]. Ok, what kinds of problems are they? And ideal
by cyanregiment 2mo ago
> these are not the kind of problems which are related to ["HTTP server", "hello world", "todo list app", ...].
Ok, what kinds of problems are they?
And ideally - what does a simple solution look like in F-star?
Set me on the path to installing the thing (ideally above the fold)
- aleph_minus_one 2mo ago> Ok, what kinds of problems are they? > And ideally - what does a simple solution look like in F-star? RTFM Or to explicate on this point: find a section in the table of contents that looks interesting to you, go to the respective section, and look at a code example. > Set me on the path to installing the thing (ideally above the fold) How to install this thing: 1. Read https://fstar-lang.org/index.html#download https://fstar-lang.org/index.html#download 2. Go to the GitHub page linked there: https://github.com/fstarlang/fstar/releases https://github.com/fstarlang/fstar/releases 3. Download F* for an operating system of your choice there.
- a1j9o94 2mo agoYou are right that someone could go through that effort bat that only really makes sense if they give you some.idea how to use it. Reading the exchange it seems like you got caught up on the illustrative examples the other person used. If a web server isn't a good example of a simple problem for F* the landing page should have an example of something that is. It shouldn't take going through that many steps to understand the so what.