PLT: Lambda Calculus - Basics 1
Loading...
Loading...
4,441
Loading...
Uploader Comments (rlindeque)
see all
All Comments (21)
-
You successfully cleared up something I couldn't understand the entire semester.
Thank you very much!
-
yea, let's not be stupid with that monkey ...
-
Have you really said "why is this the shizzle?" :D ... made my day :)
-
-
monkey? There is a monkey in lambda calculus? I'm confused.
-
This is great. I flipped book after book. All equally cryptic. Finally something I can understand .. yayy
Loading...
6:18
PLT: Lambda Calculus - Basics 2 (Church numerals)by rlindeque1,635 views- 9:18
The Most IMPORTANT Video You'll Ever See (part 1 of 8)by wonderingmind424,027,873 views
- 6:02
What is a Lambda Expression?by SetFocus14,508 views
- 9:38
Music Composition & Lambda Calculusby dfober464 views
- 1:30
Crazy Haskell Professorby Cokemonkey112,945 views
- 7:21
Lambda Expressions. What are they good for.by davidmbush13,943 views
- 7:28
Intro to Calculus - What Should You Know Beforehand?by AllendaleAPCalculus23,809 views
- 2:09
Lambda Part 1by BorderWorldFilms8,705 views
- 12:40
Lenses: A Functional Imperative [1/5]by edwardkmett2,771 views
- 9:24
IntroducionLinq Part 1by cam214910,280 views
- 1:15
lambda calculus in eastby rathereasy473 views
- 2:15
1a. Basic intro to Calculusby hobokengar45,387 views
- 0:26
Nyancat on a VT220by klangehiroshima3,757 views
- 7:34
DiaMeta - Animation - Alligator Eggs - Boolean Logicby diametaanimated6,222 views
- 13:53
Cliff Click: "A JVM Does What????" (part 1)by cbockisch2,477 views
- 15:06
Philip Wadler and Erik Meijer: On Programming Language Theory and Practiceby schonfinkeled1,448 views
- 12:13
PLT: Type Theory 2 - ZFC set theory (part 2)by rlindeque430 views
- 54:51
Lecture - 6 Semanticsby nptelhrd8,889 views
- 3:13
Since Calculusby thescopescope1,307 views
- 3:06
semantics of a computer componentby richardmullins44578 views
I think the second squaring example was rather misleading and likely to confuse people.
loogel 9 months ago
@loogel I agree it's a little bit confusing. Lecture 4 will be formal reduction/substitution rules, once I get there I hope that it'll be a little bit more clear.
rlindeque 9 months ago
Fyi, you have quite a bit of static in the background on this one.
loogel 9 months ago
@loogel Yes this is the first one I did - terrible quality :) I want to redo at least these first three lambda-calculus tutorials eventually, but decided to focus on new material for now rather than being overly perfectionistic.
rlindeque 9 months ago
Well done Rehno, it was quite a good introduction. Please could you explain how it translates to or can be used in writing a program perhaps using a short example.
theodorekoopman 10 months ago
@theodorekoopman Thanks Theo! Well it could take some time to get there. I took down my follow up lectures because they had errors, but I'll redo them soon. These demonstrate natural numbers and all the arithmetic operations using pure lambda calculus and then goes on to boolean logic. Lisp is quite closely related to lambda calculus, so that's probably the closest you'll get to a real world application, though many PL's have lambda's implemented as anonymous functions as well as closures.
rlindeque 10 months ago