Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
PLT-X2 Lambda
Search
kanaya
June 02, 2024
0
57
PLT-X2 Lambda
kanaya
June 02, 2024
Tweet
Share
More Decks by kanaya
See All by kanaya
IMU-06 Complex
kanaya
0
54
IMU-05 Calculus
kanaya
0
62
PLT-X1 Boolean and Integral Algebra
kanaya
0
62
IMU-04 Famous Functions
kanaya
0
44
PLT-04 Type
kanaya
0
25
IUM-03 Series of Functions
kanaya
0
81
PLT-01 Misezan and Programming Paradigm
kanaya
0
56
PLT-02 How to Count Words
kanaya
0
25
PLT-03 Haskell
kanaya
0
67
Featured
See All Featured
Docker and Python
trallard
44
3.3k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
101
18k
It's Worth the Effort
3n
184
28k
Six Lessons from altMBA
skipperchong
27
3.6k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
4
460
Stop Working from a Prison Cell
hatefulcrawdad
268
20k
Being A Developer After 40
akosma
89
590k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
4
410
Designing for Performance
lara
605
68k
Building Applications with DynamoDB
mza
93
6.3k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
BBQ
matthewcrist
87
9.5k
Transcript
pineapple.cc ۚ୩Ұ࿕ʢ࡚େֶใσʔλՊֶ෦ʣ ϥϜμࣜ ϓϩάϥϛϯάݴޠ
pineapple.cc λ lambda
pineapple.cc f(x) = ax + b def f(x): return a
* x + b f x = a * x + b Math Python Haskell 1⃣ 2⃣ 3⃣
pineapple.cc Math Math f(x) = ax + b Math f
= x → ax + b f = ̂ x . ax + b 1⃣ 2⃣ 3⃣
pineapple.cc f = λx → ax + b f =
lambda x: a*x+b f = \x -> a*x+b Math Python Haskell 1⃣ 2⃣ 3⃣
pineapple.cc Math Math z = g(y), y = f(x) Math
z = g (f(x)) z = (g ∙ f)(x) 1⃣ 2⃣ 3⃣
pineapple.cc h(x) = (g ∙ f)(x) def h(x): return g(f(x))
h = \x -> g (f x) Math Python Haskell 1⃣ 2⃣ 3⃣
pineapple.cc h = g ∙ f h = lambda x:
g(f(x)) h = g.f Math Python Haskell 1⃣ 2⃣ 3⃣
pineapple.cc y = (λx → 2x + 1)(3) y =
(lambda x: 2*x+1)(3) y = (\x -> 2*x+1)3 Math Python Haskell 1⃣ 2⃣ 3⃣
pineapple.cc Ϛοϓ 1ZUIPO Map in Python xs = [1, 2,
3] ys = list(map(lambda x: x*2+1, xs)) print(ys) Python
pineapple.cc Ϛοϓ )BTLFMM Map in Haskell Haskell xs = [1,
2, 3] ys = map (\x -> x*2+1) xs main = print ys
pineapple.cc @kanaya