Cbug function Presentation
1 like1,251 views
The document discusses the history and relationships between various functional programming languages such as Lisp, ML, Haskell, Scheme, and others. It notes the origins and influences between the languages, including who created them and when. Key concepts and ideas like lambda calculus, type systems, and lazy evaluation are also mentioned in the context of the different languages.
Cbug function Presentation
- 1. oskimura Speee July 26, 2010
- 2. MapReduce
- 5. Lisp LISP 1958 FORTRAN LISP FORTRAN FLPL (Fortran List Processing Language) Common Lisp, Emacs Lisp, ISLISP, Scheme
- 6. ML ML 1974 Edinburgh LCF(Logic for Computable Function) SML, CAML,OCAML
- 7. Haskell haskell 1990 Functional Programming Languages and Computer Architecture (FPCA ’87)
- 8. algol
- 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. 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. . ( )
- 12. vs vs vs
- 13. 1930 Church Kleene 1958 John McCarthy Lisp
- 14. 1960 J 1970 Robin Milner ML
- 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. quine Landin Strachey
- 17. 5 5 5
- 18. 5
- 19. 5
- 20. 5 / Open-Closed Principle Single Responsibility Principle
- 22. vs ( = )
- 23. λx.x (λx.x)x → x BNF ( ) expr ::= identifier ( ) expr ::= (λidentifier .expr ) ( ) expr ::= (expr expr )
- 26. Coq Agda ....