mark_marron

4 ms·

1. 1.▲
   by mark_marron 3y ago

   Hmm, that is an unfortunate typo and I don't have access to the page any longer to fix it :( This example is from an earlier version of the language that was experimenting with aggressive flow sensitive typing. Interestingly, I came to
2. 2.▲
   by mark_marron 3y ago

   It is really a matter of what you want to prioritize. A language like F* is designed for provably correct software -- at the expense of requiring a full spec + working with the type system to complete any proofs that cannot be automated. Bo
3. 3.▲
   by mark_marron 3y ago

   Hi, this is Mark, the lead researcher and developer on the project. Cool to see it on HN today. Happy to answer any questions! As a bit of an update, this project is not at Microsoft Research anymore. The new (main) repository is at https: