Уодлер написал замечательную статью: Предложения как типы — где он говорит о Howard-Curry , чтобы вы могли проверить поведение программы с точки зрения типов программы. (Для данного подмножества языков). Недавно Рич Хикки выпустил Clojure...

Я хочу написать спецификацию того, что означает, что функция является предикатом. Похоже, что в мире Clojure есть три способа рассказать о том, что такое предикат, хотя большинство, похоже, согласны с тем, что они должны заканчиваться знаком вопроса....

Я пытаюсь научиться clojure.spec . При настройке проекта clojure с помощью инструмента сборки загрузки я получаю следующую ошибку при запросе clojure.spec.alpha. Compiling ClojureScript... • js/app.js No such namespace: clojure.spec.alpha, could...

Это приложение, которое представляет визуальные паттерны в виде набора S-образных фигур. S-форма (стилизованная фигура) представляет собой список точек и карту информации о стиле. APattern — это запись, содержащая список S-образных фигур. Вот...

Я экспериментировал с Clojure Spec для тестирования и генерации данных и наблюдаю странное поведение, когда функция работает в модульных тестах, а проверка работает в REPL, но генеративное тестирование с помощью spec.test/check терпит неудачу. Я...

Могу ли я использовать s/merge с s/multi-spec ? Например (require '[clojure.spec :as s]) (s/def :field/common (s/keys :req-un [:field/type :field/name] :opt-un [:field/default])) (s/def :field/max-length int?)...

Есть ли способ переопределить генератор для основной функции предиката при вызове clojure.spec.test.alpha/check ? Можно переопределить генератор предикатов по пути внутри s/gen : (gen/generate (s/gen (s/cat :s string?) {[:s] #(gen/return...

Я хотел бы использовать спецификации clojure для проверки ввода моих функций (по крайней мере, во время разработки). До сих пор я сделал следующее: я определил спецификации и в начале функций я поставил утверждения, как в этом примере: (defn foo...

Я хочу создать спецификацию clojure для проверки :multipart параметра http-запроса, созданного reitit.ring.middleware.multipart промежуточным программным обеспечением. Данные составной формы должны содержать определенные параметры, которые...