Cbug function Presentation

2,315 views

Published on

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
2,315
On SlideShare
0
From Embeds
0
Number of Embeds
741
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Cbug function Presentation

  1. 1. oskimura Speee July 26, 2010
  2. 2. MapReduce
  3. 3. Scheme ML(OCaml,SML...) F Haskell Clean Erlang Coq
  4. 4. Lisp APL Coq Agda Erlang Coq Mathmatica Curry
  5. 5. Lisp LISP 1958 FORTRAN LISP FORTRAN FLPL (Fortran List Processing Language) Common Lisp, Emacs Lisp, ISLISP, Scheme
  6. 6. ML ML 1974 Edinburgh LCF(Logic for Computable Function) SML, CAML,OCAML
  7. 7. Haskell haskell 1990 Functional Programming Languages and Computer Architecture (FPCA ’87)
  8. 8. algol
  9. 9. ISWIM 1966 Peter J. Landin Communications of the ACM The Next 700 Programming Languages ”If you See What I Mean” Landin J Scheme call/cc J ISWIM Landin SECD CPL ’where’
  10. 10. Hope Hope is a small functional programming language developed in the 1970s at Edinburgh University It is notable for being the first language with call-by-pattern evaluation and algebraic data types.
  11. 11. . ( )
  12. 12. vs vs vs
  13. 13. 1930 Church Kleene 1958 John McCarthy Lisp
  14. 14. 1960 J 1970 Robin Milner ML
  15. 15. 1970 David Turner SASL KRC(Lazy) Rod Burstall John Darlington NPL Hope NPL, KRC, ML 1980 Lazy ML, Clean, Miranda 1990 Haskell1.0
  16. 16. quine Landin Strachey
  17. 17. 5 5 5
  18. 18. 5
  19. 19. 5
  20. 20. 5 / Open-Closed Principle Single Responsibility Principle
  21. 21. vs ( = )
  22. 22. λx.x (λx.x)x → x BNF ( ) expr ::= identifier ( ) expr ::= (λidentifier .expr ) ( ) expr ::= (expr expr )
  23. 23. Coq Agda ....

×