Filozoa Clojure. Mateusz Dereniowski. 15 lipca Instytut Informatyki Uniwersytetu Wrocªawskiego

Transkrypt

1 Filozoa Clojure Mateusz Dereniowski Instytut Informatyki Uniwersytetu Wrocªawskiego 15 lipca 2010

2 Wprowadzenie Clojure w skrócie Wieloplatformowo± aka JVM Standardy Czym jest JVM Co ª czy Clojure i JVM? Cechy j zyka Cechy Clojure Struktury agreguj ce Cechy j zyka funkcyjnego Cechy Javy Wspóªbie»no± Odej±cie od programowania obiektowego Programowanie czysto funkcyjne Niemodykowalny stan Stan a to»samo± Programowa pami transakcyjna

3 W skrócie Nowoczesny dialekt j zyka Lisp:

4 W skrócie Nowoczesny dialekt j zyka Lisp: twórca: Rich Hickey

5 W skrócie Nowoczesny dialekt j zyka Lisp: twórca: Rich Hickey pocz tek: 16 pa¹dziernika 2007

6 W skrócie Nowoczesny dialekt j zyka Lisp: twórca: Rich Hickey pocz tek: 16 pa¹dziernika 2007 paradygmat: funkcyjny, wieloparadygmatowy

7 W skrócie Nowoczesny dialekt j zyka Lisp: twórca: Rich Hickey pocz tek: 16 pa¹dziernika 2007 paradygmat: funkcyjny, wieloparadygmatowy typowanie: dynamiczne, silne

8 W skrócie Nowoczesny dialekt j zyka Lisp: twórca: Rich Hickey pocz tek: 16 pa¹dziernika 2007 paradygmat: funkcyjny, wieloparadygmatowy typowanie: dynamiczne, silne platforma: wieloplatformowy

9 Standardy Pierwszy przemysªowo wykorzystywanym dialekt Lispu?

10 Czym jest JVM Java Vitrual Machine: ±rodowisko uruchomieniowe dla programów, niezale»ne od platformy, stabilne, szybkie, uznane przez przemysª

11 Co ª czy Clojure i JVM? Clojure zostaª zaprojektowany od podstawy, aby dziaªa w ±rodowiski Javy,

12 Co ª czy Clojure i JVM? Clojure zostaª zaprojektowany od podstawy, aby dziaªa w ±rodowiski Javy, kompilowany bezpo±rednio do kodu bajtowego JVM,

13 Co ª czy Clojure i JVM? Clojure zostaª zaprojektowany od podstawy, aby dziaªa w ±rodowiski Javy, kompilowany bezpo±rednio do kodu bajtowego JVM, funkcje zdeniowane w Clojure mog by u»yte zamiennie z kodem Javy i vice versa.

14 Cechy Clojure REPL: Read, Eval, Print, Loop,

15 Cechy Clojure REPL: Read, Eval, Print, Loop, bogaty zestaw typów podstawowych (Lisp),

16 Cechy Clojure REPL: Read, Eval, Print, Loop, bogaty zestaw typów podstawowych (Lisp), struktury agreguj ce: listy, wektory, mapy, zbiory,

17 Cechy Clojure REPL: Read, Eval, Print, Loop, bogaty zestaw typów podstawowych (Lisp), struktury agreguj ce: listy, wektory, mapy, zbiory, makra (Lisp)

18 Cechy Clojure REPL: Read, Eval, Print, Loop, bogaty zestaw typów podstawowych (Lisp), struktury agreguj ce: listy, wektory, mapy, zbiory, makra (Lisp) wsparcie dla wielow tkowo±ci

19 Struktury agreguj ce Wszystkie wbudowane w Clojure struktury implementuj iteratory, comparatory, interfejsy kolekcji itp.

20 Cechy j zyka funkcyjnego funkcje obywatelami pierwszej klasy, domkni cia,

21 Cechy j zyka funkcyjnego funkcje obywatelami pierwszej klasy, domkni cia, trwaªe struktury danych

22 Cechy j zyka funkcyjnego funkcje obywatelami pierwszej klasy, domkni cia, trwaªe struktury danych rekursja zamiast p tli z efektami ubocznymi,

23 Cechy j zyka funkcyjnego funkcje obywatelami pierwszej klasy, domkni cia, trwaªe struktury danych rekursja zamiast p tli z efektami ubocznymi, leniwe sekwencje

24 Cechy j zyka funkcyjnego funkcje obywatelami pierwszej klasy, domkni cia, trwaªe struktury danych rekursja zamiast p tli z efektami ubocznymi, leniwe sekwencje list comprehensions

25 Trwaªe struktury danych

26 Cechy Javy dost p do bogatego zbioru bibliotek,

27 Cechy Javy dost p do bogatego zbioru bibliotek, proxy do interfejsów/class zdeniowanych w Javie,

28 Stan Mutable objects are the new spaghetti code. Rich Hickey

29 TDD Musi by co± na rzeczy, skoro przemysª tak silnie promuje TDD.

30 Stan obiektów Programi±ci j zyków obiektowych doskonale zdaj sobie spraw z niemo»no±ci kontrolowania stanu obiektów zawartych w swoich programach.

31 Zalety programowania czysto funkcyjnego czyste funkcje s ªatwe do uwspóªbie»niania,

32 Zalety programowania czysto funkcyjnego czyste funkcje s ªatwe do uwspóªbie»niania, czysto± funkcji zapewnia ich lepsze zrozumienie...

33 Zalety programowania czysto funkcyjnego czyste funkcje s ªatwe do uwspóªbie»niania, czysto± funkcji zapewnia ich lepsze zrozumienie......co w poª czeniu z kompozycyjnym charakterem programów daje lepsz mo»liwo± enkapsulacji poszczególnych fragmentów kodu, co zwi ksza poziom abstrakcji i reusability,

34 Zalety programowania czysto funkcyjnego czyste funkcje s ªatwe do uwspóªbie»niania, czysto± funkcji zapewnia ich lepsze zrozumienie......co w poª czeniu z kompozycyjnym charakterem programów daje lepsz mo»liwo± enkapsulacji poszczególnych fragmentów kodu, co zwi ksza poziom abstrakcji i reusability, kompozycja funkcji daje tak»e lepsz mo»liwo± ±ledzenia dziaªania programu,

35 Efekty uboczne Niemniej Clojure nie idzie w ±lady za Haskellem wymuszaj c bezwarunkow czysto± funkcji. Dzi ki przechowywaniu stanu programu w strukturach odpornych na wspóªbie»n rywalizacj, jest on zawsze bezpieczny i spójny.

36 Stan a to»samo± Dzi ki zastosowaniu trwaªych struktur danych ka»da "zmiana" stanu danej struktury wi»e si z utworzeniem nowego obiektu. Obiekty jako takie nie ulegaj zmianie.

37 Programowa pami transakcyjna atomowo± - wszystkie operacje zostaj wykonane, albo transakcja nie dochodzi do skutku.

38 Programowa pami transakcyjna atomowo± - wszystkie operacje zostaj wykonane, albo transakcja nie dochodzi do skutku. spójno± - transakcje s sprawdzane przed zaakceptowaniem,

39 Programowa pami transakcyjna atomowo± - wszystkie operacje zostaj wykonane, albo transakcja nie dochodzi do skutku. spójno± - transakcje s sprawdzane przed zaakceptowaniem, odizolowanie -»adna transakcja nie widzi efektów dziaªania innych transakcji podczas swojego wykonywania,