Библиотеки договоров JavaScript Code?

Ответ 1

Учитывая, что никто не рекомендовал никаких существующих библиотек, или что я сумасшедший, потому что думаю, что это хорошая идея, я пошел вперед и собрал базовую библиотеку. Код не причудливый, но он делает то, что я хочу, и он достаточно быстрый для запуска (приблизительно 40 прикованных проверок за мс в IE).

Я установил окончательный синтаксис, например:

function syncTime(serverTime, now) {
  Verify.value(serverTime).always().isDate();   // Cannot be undefined or null.
  Verify.value(now).whenDefined().isDate();     // Cannot be null, but must be date when defined.

  //Code
}

function searchForUser(firstName, middleInit, lastName) {
  Verify.value(firstName).always().isString().withMinimumLengthOf(2);  // Cannot be undefined or null.
  Verify.value(lastName).always().isString().withMinimumLengthOf(2);   // Cannot be undefined or null.
  Verify.value(middleInit).whenNotNull().isChar().between('A', 'Z');   // Cannot be undefined, but must be single char string when not null.

  //Code
}

Я выбрал явное "Должен иметь ценность" с помощью проверки .always(), лично мне было приятно читать; но я видел, как кто-то идет другим путем.

Учитывая, что источник больше, чем я хочу опубликовать в этом ответе, пожалуйста, перейдите к этой странице CodePlex Wiki, если вы заинтересованы в источник. Думаю, это перешло к большей части свободной библиотеки утверждений; но он делает то, что мне нужно.

Обновление

Я обновил источник на связанной странице CodePlex выше. В частности, я изменил класс Verify, чтобы использовать "контекст значения", а не всегда создавать новые объекты Verifier; улучшена производительность IE (никогда не возникала проблема с FireFox или Chrome)... теперь обрабатывает около 100 целых чеков в мс в IE.

Ответ 2

Я могу предложить вам следующую библиотеку контрактов: dbc-code-contract.

NPM: https://www.npmjs.com/package/dbc-code-contracts

GitLab repo (home): https://gitlab.com/o.oleg/orbios.dbc#README

CI-сборки с модульными тестами: https://gitlab.com/o.oleg/orbios.dbc/-/jobs/

Пример кода:

Dbc.Contract.throwException = true;

const domId = "my-div";
const div   = document.createElement("div");
div.id .    = domId;
document.body.appendChild(div);

const state = Dbc.Dom.removeById(domId);
Dbc.Contract.isTrue(state);
Dbc.Contract.isNull(document.getElementById(domId));

Поддерживаются следующие контракты (2 ноября 2017 года):

• isFunction
• IsObject
• isSymbol
• isBoolean
• isTrue
• isFalse
• IsString
• isEmptyString
• isNotEmptyString
• areStringsEqual
• IsNumber
• isNumberLess
• isNumberBigger
• areNumbersEqual
• isValueNaN
• isDefined
• isUndefined
• IsNull
• IsArray
• isEmptyArray
• isNotEmptyArray
• isObjectImmutable
• isPromise
• isPrototypeOf

Кроме того, внутри DOM-методов из этой библиотеки есть внутренние проверки контрактов.

Ответ 3

Я также объединил свою идею контрактов типа, которая делает то, что я хочу. Немного поздно, я думаю, но я порекомендую его тем не менее для людей, желающих посмотреть на него: https://github.com/lindem/FirstContract

Это WIP, но мне нужно что-то вроде этого.

function bmi (weight, height) {
    return weight / height * height;
}

var c = require("firstcontract").c
    /* 
     * contract applies to function taking two non-negative numbers,
     * returning a negative number: 
     */
    , contract = c(["R+0", "R+0"], "R+0")
    , cbmi = contract(bmi)
    ;

он был создан так, чтобы я мог добавлять и удалять его, не меняя функцию, которая сама контролировала, и обеспечивает просто зажим вокруг функции. Это commonjs и на npm.

Ответ 4

Еще один - https://www.npmjs.com/package/bycontract Это небольшая библиотека, которая ожидает выражения JSDoc (http://usejsdoc.org/) для контракта. Хороший шанс для вас уже знаком с синтаксисом.

Просто просмотрите его в действии:

// Simple test
byContract( true, "boolean" ); // ok
// Multiple Types
byContract( 100, "string|number|boolean" ); // ok 
// Optional Parameters
function foo( bar, baz ) {
  byContract( arguments, [ "number=", "string=" ] );
}

Вот пример реального мира:

/**
 * @param {number|string} sum
 * @param {Object.<string, string>} payload
 * @param {function} cb
 * @returns {HTMLElement}
 */
function foo( sum, payload, cb ) {
  // Test if the contract is respected at entry point 
  byContract( arguments, [ "number|string", "Object.<string, string>", "function" ] );
  // .. 
  var res = document.createElement( "div" );
  // Test if the contract is respected at exit point 
  return byContract( res, HTMLElement );
}
// Test it 
foo( 100, { foo: "foo" }, function(){}); // ok 
foo( 100, { foo: 100 }, function(){}); // exception - ByContractError: Value of index 1 violates the contract `Object.<string, string>`