【文件属性】：
文件名称：contracts.js:JavaScript合约库
文件大小：1.59MB
文件格式：ZIP
更新时间：2021-05-10 21:03:14
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 ;