文件名称：contracts.js:JavaScript合约库
文件大小：1.59MB
文件格式：ZIP
更新时间：2024-05-30 14:49:54
JavaScript
Contracts.js Contracts.js是JavaScript的合同库，可让您指定代码各部分之间的不变量，并在运行时检查它们是否违反。 这很大程度上是受的合同系统启发的，并且可以正确地高阶价值的责任。 例如，可以指定该下列函数有两个参数，一个是用一个字符串对象name字段，另一个是充满了具有对象的数组loc号字段，并返回一个字符串。 import @ from "contracts.js" @ ( { name : Str } , [ ... { loc : Num } ] ) - > Str function calcAverageLoc ( person , locArr ) { var sum = locArr . reduce ( function ( l1 , l2 ) { return l1 . loc + l2 . loc ;