Clojure introduction

Transcript

1. LISP Funcional Innovaciones Introducción a Clojure MSc. José Albert Cruz

   Almaguer J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

2. LISP Funcional Innovaciones Sumario 1 LISP Miembro de la familia

   LISP 2 Funcional Ejemplos de PF 3 Innovaciones Concurrencia STM Otras abstracciones concurrentes J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

3. LISP Funcional Innovaciones Miembro de la familia LISP Clojure es

   un LISP DEMOS J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

4. LISP Funcional Innovaciones Miembro de la familia LISP Clojure, lenguaje

   homoiconic Definition (Homoiconic) Lenguaje de programación que posee los componentes del AST como datos y que permite escribir literales de dichos tipos de datos. Definition (Homoiconic) Lenguaje de programación que usa sus propias estructuras de datos para representar su código (code as data). homo ⇒ igual icon ⇒ representación J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

5. LISP Funcional Innovaciones Miembro de la familia LISP Clojure, lenguaje

   homoiconic ( repeat 3 ’ a ) ( l i s t ’ repeat 3 ’ a) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

6. LISP Funcional Innovaciones Miembro de la familia LISP Estructura de

   control if en Clojure ( i f (= 1 1) ( p r i n t l n "Son iguales ! " ) ( p r i n t l n "No son iguales ! " ) ) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

7. LISP Funcional Innovaciones Miembro de la familia LISP ¿Y si

   necesito una estructura unless? ( i f (= 1 1) ( p r i n t l n "Son iguales ! " ) ( p r i n t l n "No son iguales ! " ) ) ( unless expr form ) −> ( i f expr n i l form ) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

8. LISP Funcional Innovaciones Miembro de la familia LISP Metaprogramando en

   Clojure ( unless f als e ( p r i n t l n " Hola ! " ) ) ( i f f als e n i l ( p r i n t l n " Hola ! " ) ) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

9. LISP Funcional Innovaciones Miembro de la familia LISP Macros en

   Clojure ( defmacro unless [ expr form ] ( l i s t ’ i f expr n i l form ) ) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

10. LISP Funcional Innovaciones Ejemplos de PF Funciones de orden superior

    (map ∗ [1 2 3 4] [5 6 7 8] ) ; = (5 12 21 32) ( reduce max [0 −3 100 48]) ; = 100 J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

11. LISP Funcional Innovaciones Ejemplos de PF Evaluación lazy ( defn

    random−i n t s [ l i m i t ] ( lazy−seq ( p r i n t l n " Calculando número a l e a t o r i o " ) ( cons ( rand−i n t l i m i t ) ( random−i n t s l i m i t ) ) ) ) ( def rands ( take 10 ( random−i n t s 50))) ; = # ’ user / rands J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

12. LISP Funcional Innovaciones Ejemplos de PF Evaluación lazy DEMO J.

    Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

13. LISP Funcional Innovaciones Concurrencia Delays/futures Patrones Delays: Suspención de un

    fragmento de código, evaluado sobre demanda, cuando es dereferenciado. Future: Evaluación de un código en otro hilo. Ejemplo de future ( def calc ( f ut ure ( apply + ( range 1e8 ) ) ) ) ; = # ’ user / calc J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

14. LISP Funcional Innovaciones Concurrencia Delays/futures Patrones Delays: Suspención de un

    fragmento de código, evaluado sobre demanda, cuando es dereferenciado. Future: Evaluación de un código en otro hilo. Ejemplo de future ( def calc ( f ut ure ( apply + ( range 1e8 ) ) ) ) ; = # ’ user / calc J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

15. LISP Funcional Innovaciones Concurrencia Promesas Dataflow variables Promesas: variables de

    una sola escritura. ( def a ( promise ) ) ( def b ( promise ) ) ( def c ( promise ) ) ( f ut ure ( d e l i v e r c (+ @a @b) ) ( p r i n t l n " Delivery complete ! , c´s value : " @c) ) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

16. LISP Funcional Innovaciones STM STM en Clojure Modelo funcional: no

    estado mutable Modelo de referencias: con estado mutable J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

17. LISP Funcional Innovaciones STM STM en Clojure Modelo funcional: no

    estado mutable Modelo de referencias: con estado mutable J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

18. LISP Funcional Innovaciones STM STM en Clojure ( def a

    (−>Account ( ref 500))) ( def b (−>Account ( ref 500))) ( defn t r a n s f e r [ from to amount ] (dosync ( . deposit to amount ) ( . withdraw from amount ) ) ) ( t r a n s f e r a b 12) J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

19. LISP Funcional Innovaciones Otras abstracciones concurrentes Tipo Agent agent: tipo

    referencia asincrónico, utilizable en contextos de STM J. Albert Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure

20. LISP Funcional Innovaciones Otras abstracciones concurrentes ¡Gracias! ¿Preguntas? J. Albert

    Cruz Almaguer (jalbert@uci.cu) Introducción a Clojure