Haskell的 静态类型系统 ( static type system )定义了类型和值之间的形式关系( 4.1.4(formal relation)，它确保Haskell程序都是 类型安全 (type safe)的，也即是说，Haskell程...
基于46个网页-相关网页
Fan也使用静态类型系统——但只作为工具栏上的一个工具而已。
Fan USES a static type system also - but as just one tool in the toolbox.
注意通配符实际并不会怎么弱化静态类型系统，因为它通常和映射APIs（总是要求投射明确）一块出现。
Note the wildcard feature does not really weaken the static type system much, because it typically only kicks in with reflection APIs (which would have have required an explicit cast anyways)...
在系统内，静态结构通过显示类型和它们的实例进行传播。
Static structure is conveyed by showing the types and their instances in the system.
应用推荐