FP / Clojure

História

LISP

• List Processor
• 1958 — John McCarthy
• Steve Russell
• Inšpirovaný kalkulom lambda (ale nie úplne)
• Recursive Functions of Symbolic Expressions
  and Their Computation by Machine, Part I

REPL

Read–eval–print loop

Dialekty

• Scheme (1975)
  • Guy L. Steele & Gerald Jay Sussman
  • Structure and Interpretation of Computer Programs
• Common Lisp (1984)
• Emacs Lisp (1985)
• PLT Scheme / Racket (1995)
• Clojure (2007)

Clojure

Clojure

• clojure.org
• Rich Hickey
• Beží na JVM
• ClojureScript → JavaScript

Clojure

• Funkcionálny
• Dynamický
• „Data-driven“
• Súbežné programovanie

Hodnoty

1 2.8       ; numbers
"hello"     ; string
\e          ; char
hello       ; symbol
:world      ; keyword
true false  ; boolean
nil

Štruktúry

(1 2 3)         ; list
[1 2 3]         ; vector
{:a 1, :b 2}    ; map
#{1 2 3}        ; set

Zoznamy majú špeciálny význam

• Prvý prvok — funkcia
• Ostatné — argumenty

(max 1 3)   ; => 3
(+ 1 3)     ; => 4

Zoznam bez vyhodnocovania:

(quote (max 1 3))  ; => (max 1 3)
'(max 1 3)         ; => (max 1 3)

Variabilný počet argumentov

(max 1 3 5 4)   ; => 5
(apply max [1 3 5 4])   ; => 5

Definícia

(def size 10)
(def message "Hello world")

Funkcia

(fn [x y] (+ x y))  ; anonymná (lambda)
#(+ %1 %2)          ; skrátený zápis

(defn sum [x y] (+ x y))  ; pomenovaná

Podmienky

(defn format-legend [x]
  (if (= 0 (mod x 5))
      (str x)
      ""))

Lokálne premenné

(defn histogram [values]
  (let [height   (apply max values)
        width    (count values)
        legend-l (legend-line width)
        legend-c (legend-column height)
        body     (histogram-body values)]
    (unlines (beside legend-c (above body legend-l)))))

Príklady