Microsoft Research does some interesting stuff, though I have to take issue with their choice of naming. One wonders if they're trying to poke at search engines.<p>The "#" in C# made it painful, in the beginning, to craft a good query. Now they're using a symbol commonly interpreted as a wildcard.<p>I'm not insinuating any evil intentions with the name (that's a little ridiculous since it's an experimental language to begin with), but it's a little odd that they'd choose something that will likely be search engine unfriendly... again.
Does anyone have experience running the languages coming out of Microsoft Research on Mono? I have no experience with C# or Mono, but I am interested in having a go with F* and would appreciate any guidance someone more familiar with the tech stack might have.
These MS language developers play for keeps don't they? First Spec#, now F*...<p>But seriously, this is good stuff. I wonder how long it's going to take for this kind of proof-driven code to reach mainstream programmers? Decades I imagine.