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
52
IMU-05 Calculus
kanaya
0
61
PLT-X1 Boolean and Integral Algebra
kanaya
0
57
IMU-04 Famous Functions
kanaya
0
43
PLT-04 Type
kanaya
0
24
IUM-03 Series of Functions
kanaya
0
80
PLT-01 Misezan and Programming Paradigm
kanaya
0
56
PLT-02 How to Count Words
kanaya
0
24
PLT-03 Haskell
kanaya
0
65
Featured
See All Featured
RailsConf 2023
tenderlove
29
900
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
26
2.1k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
8
890
The Art of Programming - Codeland 2020
erikaheidi
52
13k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
33
1.9k
Designing on Purpose - Digital PM Summit 2013
jponch
115
7k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
364
24k
Making the Leap to Tech Lead
cromwellryan
133
8.9k
A better future with KSS
kneath
238
17k
Raft: Consensus for Rubyists
vanstee
136
6.6k
Building a Modern Day E-commerce SEO Strategy
aleyda
38
6.9k
Bash Introduction
62gerente
608
210k
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