Man Computer Symbiosis

Transcript

1. Approaching Man- Computer Symbiosis via Clojure
2. • Alex Wheeler • @askwheeler • github.com/alexwheeler • write code @ VTS
3. • Interactive Computing • LISP • Clojure • ClojureScript
4. calculating machines
5. • computer - one who computes
6. computer
10. J.C.R Licklider • Director at IPTO 1962-1964 - Information Processing Techniques Office • Funded Project MAC • Intergalactic Computer Network
13. • “men will set the goals, formulate the hypotheses, determine the criteria, and perform the evaluations. • “computing machines will do the routinizable work that must be done to prepare the way for insights and decisions in technical and scientific thinking”
14. • About 85 per cent of my "thinking" time was spent getting into a position to think, to make a decision, to learn something I needed to know • Several hours of calculating were required to get the data into comparable form. When they were in comparable form, it took only a few seconds to determine what I needed to know
15. John McCarthy • Father of AI • Time-sharing 1959 • Invented LISP 1958
16. Lisp • "the greatest single programming language ever designed” - Alan Kay • The most powerful programming language is Lisp. If you don't know Lisp (or its variant, Scheme), you don't appreciate what a powerful language is - Richard Stallman
17. Lisp • list processing • dialect - Scheme, Common Lisp, Clojure, Emacs Lisp • expressions that evaluate to a single value
18. Clojure • functional Lisp for the JVM with strong concurrency support
19. println("Hello");
20. (println "Hello")
21. 10 [10 20 30 40] ‘(:a :b :c :d) (average [2 4 6 8]) (+ 2 2) (/ (+ 2 2) 2)
22. (inc 1) i++ ++i i = i + 1 i += 1
26. • homoiconic • homo: same (Greek) • icon: representation
27. (first '(:a :b :c :d)) => :a (first '(defn add [x y] (+ x y))) => defn
28. Macros • functions - take/produce data (values) • macros - take/produce code
29. (defmacro infix [infixed] (list (second infixed) ;; + (first infixed) ;; 1 (last infixed))) ;; 1 (infix (1 + 1)) => 2
30. (macroexpand '(infix (1 + 1))) =>(+ 1 1)
31. (if (even? 2) (println "even") (println "odd"))
32. (when boolean-expression expression-1 expression-2 expression-3 ... expression-x)
33. user=> (source when) (defmacro when [test & body] (list 'if test (cons 'do body))) (when (even? 2) (println "foo") (println "foo") (println "foo"))
34. user=> (macroexpand ‘(when (even? 2) (println "its even") (println “yep"))) => (if (even? 2) (do (println "its even”) (println "what he said")))
35. (defn calculate [] (->> (range 10) (filter odd? ,,,) (map #(* % %) ,,,) (reduce + ,,,))) (GET "/:foo/:id" [foo id] (str "Foo = " foo "; Id = " id))
36. Spec
37. (require '[clojure.spec :as s]) (s/valid? even? 10) user=> true
38. (s/def ::big-even (s/and int? even? #(> % 1000))) (s/valid? ::big-even 10) => false (s/valid? ::big-even 100000) => true
39. (def suit? #{:club :diamond :heart :spade}) (def rank? (into #{:jack :queen :king :ace} (range 2 11))) (def deck (for [suit suit? rank rank?] [rank suit])) (s/def ::card (s/tuple rank? suit?)) (s/def ::hand (s/* ::card)) (s/def ::name string?) (s/def ::score int?) (s/def ::player (s/keys :req [::name ::score ::hand])) (s/def ::players (s/* ::player)) (s/def ::deck (s/* ::card)) (s/def ::game (s/keys :req [::players ::deck]))
40. (s/explain ::game {::deck deck ::players [{::name “Alan Kay" ::score 100 ::hand [[2 :banana]]}]}) user=> In: [::players 0 ::hand 0 1] val: :banana fails spec: ::card at: [::players ::hand 1] predicate: suit?
41. (gen/generate (s/gen int?)) => -900 (gen/generate (s/gen ::player)) (gen/sample (s/gen ::player)) (gen/generate (s/gen ::game))
42. Tooling • Emacs
43. UI Programming • ClojureScript • Clojure compiler that targets JavaScript
44. • TRCL • Type-> Refresh-> Curse Loop • Live coding!
45. • The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal • Dealers of Lightning • Any talks by Rich Hickey/David Nolen