Nawiasem mówiąc:
Clojure

Daniel Janus

java4people, 16 kwietnia 2011

Agenda

• Wprowadzenie inne niż wszystkie
• Clojure jako język
• Ekosystem Clojure
• Clojure w praktyce

Czekając na JSR

Newsgroups: pl.comp.lang.java
Subject: Java: Czego mi brak: Operator warunkowy
Date: Mon, 8 Dec 2008 07:08:32 -0800 (PST)

A więc brakuje mi operatora który by działał jak '.' z małym wyjątkiem 
jeśli nadrzędny obiekt byłby null-em, wówczas null byłby zawsze 
zwracany. 

public static LockMode getLockModeSuggested(SomeHouse someHouse) {
   return someHouse.?.mainEntry.?.reallyGoodLock.?.lockMode;
}
      

Transformacja

return getObject().?.getField().?.getSubfield();
      

↓

Object tmp = getObject();
if (tmp == null) {
   return null;
} else {
   Object tmp2 = tmp.getField();
   if (tmp2 == null) {
      return null;
   } else {
      return tmp2.getSubfield();
   }
}
      

Inna notacja

(return (.?. (getObject) (getField) (getSubfield)))
        

↓

(declare Object tmp (getObject))
(if (== tmp null)
  (return null)
  (block
    (declare Object tmp2 (. tmp (getField)))
    (if (== tmp2 null)
      (return null)
      (return (. tmp2 (getSubfield))))))
      

To jeszcze nie Clojure, to wciąż Java (w przebraniu)!

Kod czy dane?

Jedno i drugie

Gdyby tak dało się automatycznie zamieniać jedno na drugie...

Da się!

(defmacro .?. 
  ([x y] `(. x y))
  ([x y & args]
    `(block
       (declare Object tmp# ~x)
       (if (== tmp# null)
         (return null)
         (.?. ~y ~@args)))))
        

Clojure — programowalny język programowania

Wyrażenia

• Wyrażenia proste
• 2
• -42/11
• "java4people"
• Listy, wektory, mapy, zbiory
• (.toString object)
• [4 40]
• {"klucz" "wartość"}
• #{4 5 6}

Formuły: budulec programów

• Programy w Clojure składają się z list
• Pierwszy element — nazwa wołanej funkcji lub konstrukcji składniowej
• Reszta — argumenty

Read-Evaluate-Print Loop
(REPL)

> (+ 2 3)
5

> (defn funkcja [x]
    (if (< x 100)
      "mała liczba"
      "duża liczba")))
#'user/funkcja

> (funkcja 4983)
"duża liczba"
        

Mapy

{klucz1 wartość1 
 klucz2 wartość2 
 ...
 kluczN wartośćN}

• Mapy to funkcje

Klucze (keywords)

• :klucz
• :drugi-klucz

• „Prawie jak napisy”
• Używane jako klucze w mapach
• Też funkcje!

Wektory

• [31 41 59 26 53]
• ["ten wektor" :ma 4 ["elementy"]]

• „Prawie jak tablice”
• Dostęp w czasie O(log₃₂N)
• Też funkcje!

Zbiory

• #{31 41 59 26 53}

• Dostępne są operacje teoriomnogościowe: union, intersection, difference
• Też funkcje!

Sekwencje

• Wszystko, co składa się z mniejszych elementów
• Listy, wektory, mapy, zbiory, napisy, tablice Javowe...
• Pierwszy element + reszta
• Duża część programowania w Clojure to manipulacja sekwencjami

Funkcje wyższego rzędu

(map add-42 [1 2 3])
(43 44 45)

(filter even? (range 10))
(0 2 4 6 8)
        

Leniwość

• Sekwencje mogą być leniwe
• Wartości są obliczane na bieżąco, tylko potrzebne
• Sekwencje mogą być nieskończone!
• Przykłady: read-lines, primes

Funkcje anonimowe

(map (fn [x] (+ x 42)) [1 2 3])
(43 44 45)

(map #(+ % 42) [1 2 3])
(43 44 45)
        

Wołanie metod Javy

(.toUpperCase "Hello")
"HELLO"

(.freeMemory (Runtime/getRuntime))
21528704

(javax.swing.JOptionPane/showMessageDialog nil "Hello!")

        

Software Transactional Memory

• Trzy rodzaje „kontenerów” przechowujących stan: atomy, referencje, agenty
• Atomy: zmiany synchroniczne, bez koordynacji
• Agenty: zmiany asynchroniczne
• Referencje: zmiany synchroniczne, koordynowane
• Transakcje (ACI)

Ekosystem

• IDE: Enclojure (NetBeans), CCW (Eclipse), La Clojure (IDEA), SLIME (Emacs), VimClojure (Vim)...
• Budowanie oprogramowania — nakładki na Maven: Leiningen, Cake
• Clojars: dedykowane repozytorium Maven
• Mnóstwo bibliotek na GitHub

Pułapki

• Leniwe sekwencje: obosieczna broń
• Nieczytelne stacktrace'y, niełatwy debugging
• Biblioteki: czasem niedojrzałe

Case-study: Fablo

Fablo

• Wyszukiwarka produktów dla sklepów internetowych
• Silnik wyszukujący napisany w Clojure, frontend w JavaScripcie
• 5000 linii kodu Clojure
• REST-owe API

Fablo

• Mało kodu = zwinniej i szybciej
• Implementacja każdego z formatów XML: ok. 15 linii kodu
• Prosta implementacja przełączania wersji bez przerw w pracy
• Łatwiej identyfikować błędy pracując na „żywym organizmie”

HTTP: Ring

HTTP jako funkcja
żądanie → odpowiedź

Request

:server-port  :uri
:server-name  :query-string
:remote-addr  :request-method
:scheme       :content-type
:headers      :content-length
:body         :character-encoding
        

Response

:status
:headers
:body
        

Pytania?

Dziękuję za uwagę!

(doseq [you (audience)]
  (thank! you))    
        

http://plblog.danieljanus.pl
http://fablo.pl