1. oskimura
Speee
July 26, 2010

2. MapReduce

3. Scheme
ML(OCaml,SML...)
F
Haskell
Clean
Erlang
Coq

4. Lisp
APL
Coq
Agda
Erlang
Coq
Mathmatica
Curry

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 ....