Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- I guess responsive stylesheets can't be implemented without side effects...by boutell
- Would this language be useful for implementing compilers and formally proving things about them?by 3lambda
- Looks very very interesting and exciting! Key question: is anyone using it anger and has experience to share?by _doctor_love
- - stupid question: why dont we have a programming language that looks like typed python but runs much faster than c++, zig and rustby vivzkestrel
- I like Haskell, and to me this seems really useful as a kind of "noob" to functional languages.
Is this used in the industry ? And for what kind of software ?
by LelouBil - F* seems to be a collection of like five different languages and proof systems. Honestly I never figured it out.
Does it get basic stuff like subtraction and u8 right, unlike Lean?
by IshKebab - by LelouBil
- I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.by pvsnp