Clojure


Clojure
Clojure
Clojure-glyph.svg
Класс языка:

функциональный, мультипарадигмальный

Появился в:

2007

Автор(ы):

Рич Хикки

Релиз:

1.4[1] (15 апреля 2012)

Типизация данных:

динамическая, строгая

Испытал влияние:

Lisp, ML, Haskell, Erlang[2]

Лицензия

Eclipse Public License

Сайт:

http://clojure.org

Clojure (произносится как closure) — современный диалект Лиспа. Это язык программирования общего назначения с поддержкой разработки в интерактивном режиме, поощряющий функциональное программирование, и упрощающий поддержку многопоточности. Clojure работает на платформах JVM и CLR. Clojure отличает философия «код как данные (англ.)» и развитая система лисп-макросов.

Транслятор Clojure свободно распространяется на условиях Eclipse Public License.

Содержание

Философия

Рич Хикки разработал Clojure как современный Лисп для функционального программирования с интеграцией в Java платформу, спроектированный для поддержки конкурентных вычислений.[3]

Синтаксис

Как и в любом другом Лиспе, синтаксис Clojure основан на S-выражениях, которые перед компиляцией транслируются синтаксическим анализатором в структуры данных. Синтаксический анализатор Clojure поддерживает, помимо обычных списков, синтаксис литералов для ассоциативных массивов, множеств и векторов, передавая затем все эти структуры данных компилятору. Иначе говоря, компилятор Clojure компилирует не только списковые структуры данных, но напрямую поддерживает все указанные типы. Clojure является расширением изначальной версии Lisp, и не предназначен для кода совместимого с другими диалектами Лиспа.

Макросы

Макро система Clojure очень похожа на аналогичную систему Common Lisp, за тем исключением что используемый в Clojure вариант обратной кавычки (так называемый «синтаксис цитирования») квалифицирует символы их именем. Это помогает предотвратить непреднамеренный захват имени при привязке к пространству имён — квалификация имён запрещена. Можно выполнить такой захват при макроподстановке, но это должно быть сделано явно. Clojure также запрещает связывание глобальных имён из других пространств имён, которые были импортированы в текущее пространстве имён.

Особенности языка

Примеры

Hello world:

(println "Здравствуй, мир!")

Потокобезопасный генератор уникальных серийных номеров:

(let [i (atom 0)]
  (defn generate-unique-id
    "Возвращает различные числовые ID для каждого вызова."
    []
    (swap! i inc)))

Анонимный подкласс java.io.Writer который ничего не выводит, и макрос используемый, чтобы заглушить весь вывод внутри него:

(def bit-bucket-writer
  (proxy [java.io.Writer] []
    (write [buf] nil)
    (close []    nil)
    (flush []    nil)))
 
(defmacro noprint
  "Вычисляет заданные выражения, заглушая весь *вывод* на экран".
  [& forms]
  `(binding [*out* bit-bucket-writer]
     ~@forms))
 
(noprint
 (println "Hello, nobody!"))

10 потоков, манипулирующих одной общей структурой данных, которая состоит из 100 векторов, каждый из которых содержит 10 (изначально последовательных) уникальных чисел. Каждый поток многократно выбирает две случайных позиции в двух случайных векторах и обменивает местами их значения. Все изменения векторов происходят в единой транзакции путем использования системы транзакционной памяти clojure. Поэтому даже после 1000 итераций в каждом из потоков числа не теряются.

(defn run [nvecs nitems nthreads niters]
  (let [vec-refs (vec (map (comp ref vec)
                           (partition nitems (range (* nvecs nitems)))))
        swap #(let [v1 (rand-int nvecs)
                    v2 (rand-int nvecs)
                    i1 (rand-int nitems)
                    i2 (rand-int nitems)]
                (dosync
                 (let [temp (nth @(vec-refs v1) i1)]
                   (alter (vec-refs v1) assoc i1 (nth @(vec-refs v2) i2))
                   (alter (vec-refs v2) assoc i2 temp))))
        report #(do
                 (prn (map deref vec-refs))
                 (println "Distinct:"
                          (count (distinct (apply concat (map deref vec-refs))))))]
    (report)
    (dorun (apply pcalls (repeat nthreads #(dotimes [_ niters] (swap)))))
    (report)))
 
(run 100 10 10 100000)

Вывод предыдущего примера:

([0 1 2 3 4 5 6 7 8 9] [10 11 12 13 14 15 16 17 18 19] ...
 [990 991 992 993 994 995 996 997 998 999])
Distinct: 1000
 
([382 318 466 963 619 22 21 273 45 596] [808 639 804 471 394 904 952 75 289 778] ...
 [484 216 622 139 651 592 379 228 242 355])
Distinct: 1000

Примечания

  1. Clojure 1.4!, Alex Ott
  2. Rich Hickey Books that influenced Clojure (30 June 2009). Архивировано из первоисточника 18 апреля 2012. Проверено 11 сентября 2009.
  3. Rationale. Rich Hickey. clojure.org. Архивировано из первоисточника 18 апреля 2012. Проверено 17 октября 2008.

Библиография

Ссылки

На русском языке


Wikimedia Foundation. 2010.

Смотреть что такое "Clojure" в других словарях:

  • Clojure — Paradigm(s) functional, multi paradigm Appeared in 2007 Designed by Rich Hickey …   Wikipedia

  • Clojure — Desarrollador(es) http://clojure.org Información general …   Wikipedia Español

  • Clojure — Lisp Dialekt Basisdaten Paradigmen: Funktionale Programmiersprache Erscheinungsjahr …   Deutsch Wikipedia

  • Clojure — Apparu en 2007 Auteur Rich Hickey …   Wikipédia en Français

  • Хикки, Ричард — Ричард Хикки англ. Richard Hickey …   Википедия

  • List comprehension — A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists. It follows the form of the mathematical set builder notation (set comprehension) as distinct from the use of map… …   Wikipedia

  • List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents …   Wikipedia

  • Multiple dispatch — Theories and practice of polymorphism Double dispatch Multiple dispatch Operator overloading Polymorphism in computer science Polymorphism in OOP Subtyping …   Wikipedia

  • Multiversion concurrency control — (abbreviated MCC or MVCC), in the database field of computer science, is a concurrency control method commonly used by database management systems to provide concurrent access to the database and in programming languages to implement… …   Wikipedia

  • Processing (programming language) — Processing Paradigm(s) object oriented Appeared in 2001; 9 years ago (2001) …   Wikipedia

Книги

Другие книги по запросу «Clojure» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.