Skip to content

Commit 27d7e6b

Browse files
authored
Add files via upload
1 parent c77f438 commit 27d7e6b

File tree

7 files changed

+231
-0
lines changed

7 files changed

+231
-0
lines changed
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
---
2+
title: "Peter John Landin"
3+
subtitle: "「计算机科学偶像」- 彼得·约翰·兰丁"
4+
layout: post
5+
author: "Hux"
6+
published: false
7+
header-style: text
8+
tags:
9+
- CS Idols
10+
---
11+
12+
> - [wiki](https://en.wikipedia.org/wiki/Peter_Landin)
13+
> - [维基](https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E5%85%B0%E4%B8%81)
14+
15+
I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It's strange that I haven't look up the answer until today: It's invented so early by Alonzo Church (whom I will write another post for) as an alternative mathematic foundation in 1930s and its relation with programming language was re-discoverred in 1960s.
16+
17+
From the "Lambda calculus and programming languages" section of wikipedia page:
18+
19+
> As pointed out by Peter Landin's 1965 paper "A Correspondence between ALGOL 60 and Church's Lambda-notation"
20+
21+
I found this name quite familiar since I read his paper "The mechanical evaluation of expressions" before, in which he introduced the first abstract machine for functional programming language, namely [SECD machine](https://en.wikipedia.org/wiki/SECD_machine). This paper also define the term [Closure](https://en.wikipedia.org/wiki/Closure_(computer_programming)) which becomes a prevalent notion in computer programming nowadays.
22+
23+
Besides of that, his contributions also include:
24+
25+
- on ALGO definition
26+
- [ISWIM](https://en.wikipedia.org/wiki/ISWIM) programming language
27+
- [off-side rule](https://en.wikipedia.org/wiki/Off-side_rule), known as "indentation-based" syntax nowadays, popularized by Miranda, Haskell, Python, etc.
28+
- coin the term [syntactic sugar](https://en.wikipedia.org/wiki/Syntactic_sugar)
29+
30+
He was much influenced by a study of McCarthy's LISP and taught [Tony Hoare](https://en.wikipedia.org/wiki/Tony_Hoare) ALGO with Peter Naur and Edsger W. Dijkstra. (Oh yes, definitely 4 more people to write).
31+
32+
I have just download his old, influential paper "The next 700 programming languages".
33+
I am sure it will be an enjoyable read.

0 commit comments

Comments
 (0)