Some History of Functional Programming Languages - David Turner (Lambda Days 2017)

  Рет қаралды 7,267

Erlang Solutions

Erlang Solutions

Күн бұрын

www.lambdadays....
At Lambda Days 2017 David will talk about some of the history of functional programming languages and how it reflects what are still live issues of language design.
Topics will include:
what did LISP and Algol 60 each get wrong and get right back in 1960
the advantages and disadvantages of lazy evaluation
run time typing (as in Erlang) versus static typing (as in Haskell)

Пікірлер: 9
@Tattvadarzin.
@Tattvadarzin. 7 ай бұрын
David taught me Lambda Calculus and SASL when I was an undergraduate at St Andrews in about 1973. I was a PhD student in the same department and I was his colleague when I became a lecturer there. I ended up teaching SASL to St Andrews Arts students in a course on Information Processing. That was an interesting challenge. He was a self effacing man who took time to explain things. Watching this makes me realise how in that respect he changed not at all.
@dandan7884
@dandan7884 8 жыл бұрын
great talk! very enlightening!
@rayohauno
@rayohauno 8 ай бұрын
Excelent talk!
@dragonfly3139
@dragonfly3139 8 жыл бұрын
interesting talk thank you so much for sharing this
@Tattvadarzin.
@Tattvadarzin. 7 ай бұрын
David Turner taught me Lambda Calculus and S@SL
@tristrambrelstaff4850
@tristrambrelstaff4850 8 жыл бұрын
SASL was also being used at the University of Newcastle-upon-Tyne in 1986-87.
@117degreess
@117degreess 4 жыл бұрын
This is a great talk, thank you.
@morthim
@morthim 4 жыл бұрын
2^7 -1. who else finds it satisfying to be the liker of a video equal to a 2 power value?
@derekfrost8991
@derekfrost8991 6 жыл бұрын
I don't use Miranda because of the license, but the help files that came with it changed the way I program forever. Turner is a genius, but it's quite shocking he didn't know that the second ml standard was 97 and the Haskell standard was 98. How can you devote your life to functional programming and not know that?? :)
Secret to sawing daughter in half
00:40
Justin Flom
Рет қаралды 33 МЛН
SHE CAME BACK LIKE NOTHING HAPPENED! 🤣 #shorts
00:21
Joe Albanese
Рет қаралды 19 МЛН
SPLASH BALLOON
00:44
Natan por Aí
Рет қаралды 27 МЛН
The perfect snowball 😳❄️ (via @vidough/TT)
00:31
SportsNation
Рет қаралды 77 МЛН
Why Functional Programming Matters • John Hughes • YOW! 2017
58:18
GOTO Conferences
Рет қаралды 9 М.
Domain Modeling Made Functional - Scott Wlaschin
51:39
NDC Conferences
Рет қаралды 68 М.
Functional Programming Patterns for Mere Mortals - Daniel Chambers
1:03:10
A History of Clojure by Rich Hickey with Q&A
1:07:02
Visas Meilas
Рет қаралды 32 М.
Pascal (Not Just Nickel & Dime) - Computerphile
11:59
Computerphile
Рет қаралды 60 М.
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
34:55
Strange Loop Conference
Рет қаралды 90 М.
Category Theory for the Working Hacker by Philip Wadler
50:52
Lambda World
Рет қаралды 94 М.
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
1:33:37
Secret to sawing daughter in half
00:40
Justin Flom
Рет қаралды 33 МЛН