TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

F*: A Verifying ML Compiler for Distributed Programming

45 点作者 primodemus将近 14 年前

3 条评论

reduxredacted将近 14 年前
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.
评论 #2663825 未加载
troutwine将近 14 年前
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.
评论 #2663755 未加载
评论 #2663895 未加载
评论 #2663827 未加载
评论 #2663773 未加载
pja将近 14 年前
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.