«Гибкость и надёжность: спецификация Clojure» Стюарта Холлоуэя

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

С Clojure вы можете быстро разрабатывать надежные и повторно используемые программы, используя интерактивную разработку в REPL, неизменяемые данные и чистые функции кода как данные. Новая библиотека спецификаций Clojure дополняет эти подходы. Разработка с использованием спецификаций является декларативной, предикативной, многоуровневой, надежной и интегрированной с Clojure.

Спецификация декларативна. Как и системы типов в статических языках, спецификация позволяет создавать декларативные утверждения, которые передают и документируют данные, аргументы функций и возвращаемые значения.

Спецификация предикативна. Вы можете объявлять предикаты о данных, аргументах и ​​возвращаемых значениях функций, и даже о семантике функций. Это пересекается не только с системами типов, но и с валидациями, которые часто выполняются с помощью дорогостоящих специальных тестов и проверок во время выполнения.

Спецификация многоуровневая. Spec не требует какого-либо определённого рабочего процесса или формы программы и, в частности, совместим с итеративной и инкрементальной разработкой.

Spec поддерживает надёжность программ благодаря автоматическому генеративному тестированию. На основе спецификаций, spec может создавать генеративные тесты, генерируя объём, ограниченный только процессорным временем, а не тем, что вы можете написать и поддерживать вручную.

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

Стюарт Холлоуэй — основатель и президент Cognitect, Inc. Он является коммиттером Clojure и разработчиком базы данных Datomic. Стюарт выступал на различных отраслевых мероприятиях, включая StrangeLoop, Clojure/conj, EuroClojure, ClojureWest, SpeakerConf, QCon, GOTO, OSCON, RailsConf, RubyConf, JavaOne и NFJS. Стюарт написал ряд книг и технических статей. Из них он больше всего гордится книгой «Programming Clojure».