F7 1.0

一个增强typechecker为F＃编程语言

F7的开发是一个的增强typechecker为F＃编程语言。 F7支持静态检查与细化类型的属性表示。我们的动机是为了检查各种安全性能的F＃实现代码输入。

的的F7 typechecker使程序员来表达和静态检查重？nement的神器出山:www.shenqi73.com类型在F＃编写的程序。目前执行的typechecker仅支持F＃的一个子集，最适合类型的注释提供一定的成语。

要使用typechecker，程序员必须定义F7 thex程序中的每个F＃模块的接口。 F7接口有苏X。FS7，以区别于正常F＃接口（即苏X。FSI），他们可能包含F＃类型系统外的类型。 F＃模块有苏X。fs和包含原封不动？F＃代码。在我们目前的做法，全部重新nement类型注释必须在给定的在F7接口。

给定的F＃的模块M.fs与一个F7接口M.fs7，typechecker可以调用两种方式。首先，它可以调用的genfsi？公司产生F＃接口M.fsi删除全部重新nements，：

f7.exe genfsi M.fs7

其次，它可以对声明的类型在M.fs7与类型检测M.fs调用。

f7.exe M.fs7 M.fs

在一般情况下，这些命令行包含了一系列的F＃模块和F7接口，包括所有的库模块的接口。一个特殊的库的接口，称为pervasives.fs7，宣布共同F＃的类型，如整数，字符串，布尔值，列表，和他们共同的运营商，如算术运算和逻辑连接词。这个库可以扩展到包括F＃程序需要使用的运营商。