避难所 sanctuary-def是JavaScript的运行时类型系统。 它有助于定义咖喱JavaScript函数,这些函数明确地说明了可以应用它们的参数的数量以及这些参数的类型。 通常将软件包导入为$ : const $ = require ( 'sanctuary-def' ) ; 下一步是定义环境。 环境是的数组。 是包含所有内置JavaScript类型的环境。 它可以用作包含自定义类型以及内置类型的环境的基础: // Integer :: Type const Integer = '...' ; // NonZeroInteger :: Type const NonZeroInteger = '...' ; // env :: Array Type const env = $ . env . concat ( [ Integer , NonZeroInt