Slide 1

Slide 1 text

pineapple.cc ۚ୩Ұ࿕ʢ௕࡚େֶ৘ใσʔλՊֶ෦ʣ ϥϜμࣜ ϓϩάϥϛϯάݴޠ࿦

Slide 2

Slide 2 text

pineapple.cc λ lambda

Slide 3

Slide 3 text

pineapple.cc f(x) = ax + b def f(x): return a * x + b f x = a * x + b Math Python Haskell 1⃣ 2⃣ 3⃣

Slide 4

Slide 4 text

pineapple.cc Math Math f(x) = ax + b Math f = x → ax + b f = ̂ x . ax + b 1⃣ 2⃣ 3⃣

Slide 5

Slide 5 text

pineapple.cc f = λx → ax + b f = lambda x: a*x+b f = \x -> a*x+b Math Python Haskell 1⃣ 2⃣ 3⃣

Slide 6

Slide 6 text

pineapple.cc Math Math z = g(y), y = f(x) Math z = g (f(x)) z = (g ∙ f)(x) 1⃣ 2⃣ 3⃣

Slide 7

Slide 7 text

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⃣

Slide 8

Slide 8 text

pineapple.cc h = g ∙ f h = lambda x: g(f(x)) h = g.f Math Python Haskell 1⃣ 2⃣ 3⃣

Slide 9

Slide 9 text

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⃣

Slide 10

Slide 10 text

pineapple.cc Ϛοϓ 1ZUIPO Map in Python xs = [1, 2, 3] ys = list(map(lambda x: x*2+1, xs)) print(ys) Python

Slide 11

Slide 11 text

pineapple.cc Ϛοϓ )BTLFMM Map in Haskell Haskell xs = [1, 2, 3] ys = map (\x -> x*2+1) xs main = print ys

Slide 12

Slide 12 text

pineapple.cc @kanaya