Przyszłość programowania Języki funkcyjne na przykładzie Clojure

Transkrypt

1 Wstęp Przyszłość programowania Języki funkcyjne na przykładzie Clojure inż. Daniel Harbuz 23 maja 2012 Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

2 Wstęp Ageda Agenda Wstęp do programowania funkcyjnego Wprowadzenie do języka Clojure Struktura języka Clojure Demo Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

3 Wstęp do programowania funkcyjnego Historia Języki funkcyjne Information Processing Language Lisp Miranda Meta Language Scheme Haskell F# Clojure Scala Erlang Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

4 Wstęp do programowania funkcyjnego Programowanie funkcyjne Charakterystyka Funkcja Funkcja wyższego rzędu Stałe Wartościowanie Rekurencja Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

5 Wstęp do programowania funkcyjnego Programowanie funkcyjne Podział języków funkcyjnych Języki czysto funkcyjne leniwe wartościowanie brak zmiennych brak efektów ubocznych monady Języki mieszane wartościowanie zachłanne zmienne efekty uboczne tradycyjne wejście/wyjście Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

6 Wprowadzenie do języka Clojure Historia Historia Closure Rich Hickey 16 październik sierpień 2010 (1.2) Wersja 1.4 Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

7 Wprowadzenie do języka Clojure Wprowadzenie Clojure Programowanie funkcyjne Programowanie współbieżne Lisp Java Java Virtual Machine Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

8 Struktura języka Funkcje Zmienne a raczej stałe Formy specjalne Funkcje Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

9 Liczby Struktura języka Typy podstawowe postać dziesiętna 127 szesnastkowa 0x7F postać ósemkowa 0177 postać binarna 2r postać radix-32 32r3v Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

10 Liczby Struktura języka Typy podstawowe liczby dodatnie +127 liczby ujemne -127 Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

11 Struktura języka Liczby zmienno przecinkowe Typy podstawowe zapis tradycyjny 1.27 zapis tradycyjny ze znakiem zapis wykładniczy 12e7 1.2e7 1.7e-2 Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

12 Liczby wymierne Struktura języka Typy podstawowe 12/7 7/12-7/12 Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

13 Struktura języka Typy podstawowe Symbole String To jest łańcuch znaków Charakters \a \A \u0042 \\ Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

14 Struktura języka Typy podstawowe Symbole Keywords :2 :? :słowo Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

15 Struktura języka Kolekcje Kolekcje Listy () (:A 2) (1 2 (a b c) 4 5) (1, 2, 3, 4) Wektory [ ] Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

16 Struktura języka Kolekcje Kolekcje Mapy {1 jeden, 2 dwa, 3 trzy } Zestawy #{1 2 trzy :cztery 0x5} Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

17 Formy specjalne Struktura języka Formy specjalne def (def symbol inicjalizacja?) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

18 Formy specjalne Struktura języka Formy specjalne do (do instrukcje*) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

19 Formy specjalne Struktura języka Formy specjalne let (let [ wiązania* ] instrukcje*) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

20 Formy specjalne Struktura języka Formy specjalne if (if (warunek) (prawda) (fałsz?)) if-not (if-not (warunek) (fałsz) (prawda?)) when (when (warunek) prawda*) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

21 Formy specjalne Struktura języka Formy specjalne recur (recur wartości*) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

22 Formy specjalne Struktura języka Formy specjalne loop (loop [ wiązania* ] instrukcje*) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

23 Formy specjalne Struktura języka Formy specjalne fn (fn nazwa [parametry*] instrukcje*) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

24 Rekurencja Struktura języka Rekurencja (defn prime ([x] (if-not (= 0 (rem x 2)) (prime x 3) (prime (+ x 1) 2))) ([x n] (if (< n (+ (quot x 2) 1)) (if-not (= 0 (rem x n)) (prime x (+ n 1)) (prime (+ x 1) 2)) x))) (defn prime ([x] (if-not (= 0 (rem x 2)) (prime x 3) (prime (+ x 1) 2))) ([x n] (if (< n (+ (quot x 2) 1)) (if-not (= 0 (rem x n)) (recur x (+ n 1)) (recur (+ x 1) 2)) x))) Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

25 Clojure w praktyce Środowiska programistyczne Środowiska programistyczne Read-Eval-Print Loop Clooj Eclipse Emacs JEdit IntelliJ IDEA Leiningen Maven Netbeans Vim Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

26 DEMO Clojure w praktyce Środowiska programistyczne Trochę praktyki... Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

27 Zakończenie Trochę Statystyki Gdzie najczęściej używa się Clojure Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

28 Zakończenie Trochę Statystyki W jakich projektach używa się Clojure Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

29 Clojure w Polsce Zakończenie Clojure w Polsce Fablo.pl Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

30 Bibliografia Zakończenie Bibliografia L. VanderHart and S. Sierra, Practical Clojure, Apress, M. Fogus and C. Houser, The Joy of Clojure, Manning, R. Hickey, Clojure, Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31

31 Zakończenie Bibliografia Dziękuję za uwagę. Przyszłość programowaniajęzyki funkcyjne na przykładzie Clojure 23 maja / 31