F*

维基百科,自由的百科全书
跳转至: 导航搜索
F*
FStar Logo.png
编程范型 多范式函数式命令式面向对象元编程并发编程
設計者 微软研究院
實作者 微软
最新发行时间 0.7-alpha / 2013年4月29日  (2013-04-29)
型態系統 静态类型强类型类型推断
啟發語言 F♯,Fine,F7,FX
作業系統 跨平台 (.NET框架)
許可證 Microsoft Research License
網站 F* project

F*是一个由微软研究院开发的基于F♯依赖类型函数式程序语言。它可被编译到.NETCILJavaScript

F*的类型系统较之于F#更加丰富,它允许可被半自动化检查的功能正确性规范。

外部链接[编辑]