{"type":"link","version":"1.0","title":"该页面是 F* 编程语言的官方研究主页… · F*: A general-purpose… | HotDaily","description":"该页面是 F* 编程语言的官方研究主页，按主题列出了大量学术论文，涵盖 F* 的核心设计（如依赖类型、多态效应、Dijkstra…","url":"https://hotdaily.top/item/d30dd5bc-0b08-41b3-8b66-6d5e26fd7a11","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}