4 ms·

The F* Programming Language

• foxyv 4y ago
  [dead]
  • fdupress 4y ago
    The hotcrp conference management system treated it as a shell glob and leaked out the list of submitted papers, once.
  • cestith 4y ago
    Not exactly, but I sort of chuckled to myself and wondered if a future extension would be F*** for sure. Now I'm wondering what sort of project I can start and name "Grawlix".
  • layer8 4y ago
    I’m looking forward to the compiler kit.
• cestith 4y ago
  A provable language that can translate directly to OCaml, F#, C, WebAssembly, or VALE sounds lovely if it's not too painful to use. I hope the C translations follow CERT / MISRA. It would be a shame to prove the program correct then have a translation of it that's buggy. I'll have to read more about this later.
  • jnash 4y ago
    I have started looking into it for the same reasons. So far it feels like programming in F# but with nice tasty refinement types added. So fairly straightforward.