计算机科学

首页 > 计算机科学

F*

2018-09-05 18:11:53     所属分类:程序设计语言
F*
FStar Logo.png
编程范型 多范式:函数式,命令式,面向对象,元编程,并发编程
设计者 微软研究院
实作者 微软
稳定版本
0.7-alpha
( 2013年4月29日 (2013-04-29)
型态系统 静态类型,强类型,类型推断
操作系统 跨平台 (.NET框架)
许可证 Microsoft Research License
网站 F* project
启发语言
F♯,Fine,F7,FX

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

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

外部链接

  • F* tutorial
  • F* formalization in Coq
  • A fully abstract compiler from F* to JavaScript


上一篇:协变与逆变
下一篇:Dart
相关推荐