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
58
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
A Philosophy of Restraint
colly
203
16k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
227
22k
A designer walks into a library…
pauljervisheath
205
24k
Navigating Team Friction
lara
183
15k
StorybookのUI Testing Handbookを読んだ
zakiyama
28
5.6k
Side Projects
sachag
452
42k
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Building an army of robots
kneath
303
45k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
YesSQL, Process and Tooling at Scale
rocio
172
14k
Site-Speed That Sticks
csswizardry
4
430
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