Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy...
Transcript of Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy...
![Page 1: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/1.jpg)
Post Functional
Thursday, January 10, 13
![Page 2: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/2.jpg)
Extracting energy from the Turing TarpetAlan Kay (Turing Centenary)
Thursday, January 10, 13
![Page 3: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/3.jpg)
WHATs not HOWs
Thursday, January 10, 13
![Page 4: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/4.jpg)
Thursday, January 10, 13
![Page 5: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/5.jpg)
Thursday, January 10, 13
![Page 6: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/6.jpg)
Thursday, January 10, 13
![Page 7: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/7.jpg)
Thursday, January 10, 13
![Page 8: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/8.jpg)
Thursday, January 10, 13
![Page 9: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/9.jpg)
Thursday, January 10, 13
![Page 10: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/10.jpg)
Thursday, January 10, 13
![Page 11: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/11.jpg)
miniKanren
Thursday, January 10, 13
![Page 12: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/12.jpg)
miniKanren๏ 200 lines of Scheme
Thursday, January 10, 13
![Page 13: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/13.jpg)
miniKanren๏ 200 lines of Scheme๏ Purely functional monadic design
Thursday, January 10, 13
![Page 14: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/14.jpg)
miniKanren๏ 200 lines of Scheme๏ Purely functional monadic design
๏ Backtracking for “free”
Thursday, January 10, 13
![Page 15: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/15.jpg)
miniKanren๏ 200 lines of Scheme๏ Purely functional monadic design
๏ Backtracking for “free”๏ Relatively efficient implementation
Thursday, January 10, 13
![Page 16: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/16.jpg)
miniKanren๏ 200 lines of Scheme๏ Purely functional monadic design
๏ Backtracking for “free”๏ Relatively efficient implementation๏ Lightweight embedding of relational
programming
Thursday, January 10, 13
![Page 17: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/17.jpg)
core.logic
Thursday, January 10, 13
![Page 18: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/18.jpg)
core.logic๏ emphasize efficiency
Thursday, January 10, 13
![Page 19: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/19.jpg)
core.logic๏ emphasize efficiency๏ emphasize polymorphism
Thursday, January 10, 13
![Page 20: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/20.jpg)
core.logic๏ emphasize efficiency๏ emphasize polymorphism
๏ all critical parts of the system should allow open extension: unification, constraints, solvers, search strategies, etc.
Thursday, January 10, 13
![Page 21: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/21.jpg)
Core Language
Thursday, January 10, 13
![Page 22: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/22.jpg)
demo
Thursday, January 10, 13
![Page 23: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/23.jpg)
Thursday, January 10, 13
![Page 24: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/24.jpg)
December 17, 1962
Thursday, January 10, 13
![Page 25: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/25.jpg)
Thursday, January 10, 13
![Page 26: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/26.jpg)
Thursday, January 10, 13
![Page 27: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/27.jpg)
Peter Norvig points out,24 billion candidate solutions
Thursday, January 10, 13
![Page 28: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/28.jpg)
demo
Thursday, January 10, 13
![Page 29: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/29.jpg)
Constraints!
Thursday, January 10, 13
![Page 30: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/30.jpg)
Thursday, January 10, 13
![Page 31: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/31.jpg)
Thursday, January 10, 13
![Page 32: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/32.jpg)
demo
Thursday, January 10, 13
![Page 33: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/33.jpg)
What’s this good for?
Thursday, January 10, 13
![Page 34: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/34.jpg)
Thursday, January 10, 13
![Page 35: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/35.jpg)
๏ Complex configuration / validation (LonoCloud, Pallet, C2 Grammar of Graphics)
Thursday, January 10, 13
![Page 36: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/36.jpg)
๏ Complex configuration / validation (LonoCloud, Pallet, C2 Grammar of Graphics)
๏ Static Analysis (Ekeko - Java Eclipse, Kibit - Clojure source linter)
Thursday, January 10, 13
![Page 37: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/37.jpg)
๏ Complex configuration / validation (LonoCloud, Pallet, C2 Grammar of Graphics)
๏ Static Analysis (Ekeko - Java Eclipse, Kibit - Clojure source linter)
๏ Declarative GPU Programming (Indiana University)
Thursday, January 10, 13
![Page 38: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/38.jpg)
๏ Complex configuration / validation (LonoCloud, Pallet, C2 Grammar of Graphics)
๏ Static Analysis (Ekeko - Java Eclipse, Kibit - Clojure source linter)
๏ Declarative GPU Programming (Indiana University)
๏ Supporting type inference? (Typed Clojure)
Thursday, January 10, 13
![Page 39: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/39.jpg)
Culture
Thursday, January 10, 13
![Page 40: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/40.jpg)
๏ OOP, FP, LP - all old stuff
Culture
Thursday, January 10, 13
![Page 41: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/41.jpg)
๏ OOP, FP, LP - all old stuff
๏ Mainstream culture around OOP
Culture
Thursday, January 10, 13
![Page 42: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/42.jpg)
๏ OOP, FP, LP - all old stuff
๏ Mainstream culture around OOP
๏ FP gaining more and more traction
Culture
Thursday, January 10, 13
![Page 43: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/43.jpg)
๏ OOP, FP, LP - all old stuff
๏ Mainstream culture around OOP
๏ FP gaining more and more traction
๏ We’re writing different (hopefully simpler) kinds of programs
Culture
Thursday, January 10, 13
![Page 44: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/44.jpg)
๏ OOP, FP, LP - all old stuff
๏ Mainstream culture around OOP
๏ FP gaining more and more traction
๏ We’re writing different (hopefully simpler) kinds of programs
๏ LP still at the fringes
Culture
Thursday, January 10, 13
![Page 45: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/45.jpg)
๏ OOP, FP, LP - all old stuff
๏ Mainstream culture around OOP
๏ FP gaining more and more traction
๏ We’re writing different (hopefully simpler) kinds of programs
๏ LP still at the fringes
๏ What kind of programs will we write?
Culture
Thursday, January 10, 13
![Page 46: Post Functional - secure.trifork.com · Post Functional Thursday, January 10, 13. Extracting energy from the Turing Tarpet Alan Kay (Turing Centenary) Thursday, January 10, 13. WHATs](https://reader034.fdocuments.in/reader034/viewer/2022042220/5ec6058fcec8c97967348063/html5/thumbnails/46.jpg)
Questions?
Thursday, January 10, 13