Liftin every day
-
Upload
brian-lonsdorf -
Category
Technology
-
view
438 -
download
2
description
Transcript of Liftin every day
![Page 1: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/1.jpg)
Liftin’ Every Day
![Page 2: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/2.jpg)
Applicative Functors?
![Page 3: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/3.jpg)
pure :: a -> f a
ap :: f (a -> b) -> f a -> f b
![Page 4: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/4.jpg)
![Page 5: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/5.jpg)
Closed Under Composition
![Page 6: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/6.jpg)
Closed Under Composition
![Page 7: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/7.jpg)
Closed Under Composition
![Page 8: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/8.jpg)
Closed Under Composition
![Page 9: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/9.jpg)
liftA :: (a -> b) -> f a -> f bliftA2 :: (a -> b -> c) -> f a -> f
b -> f c
![Page 10: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/10.jpg)
liftA :: (a -> b) -> f a -> f bliftA2 :: (a -> b -> c) -> f a -> f
b -> f c
Just fmap
![Page 11: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/11.jpg)
liftA :: (a -> b) -> f a -> f bliftA2 :: (a -> b -> c) -> f a -> f
b -> f c
Just fmap
We can get arityautomatically
![Page 12: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/12.jpg)
ap(pure(f), x, y) == liftA(f, x, y)
![Page 13: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/13.jpg)
Ultimate Combinator
![Page 14: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/14.jpg)
f(g(x), h(x),..n(x))
![Page 15: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/15.jpg)
![Page 16: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/16.jpg)
f(g(x), h(x))
![Page 17: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/17.jpg)
![Page 18: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/18.jpg)
f(g(x), h(x))
![Page 19: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/19.jpg)
![Page 20: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/20.jpg)
![Page 21: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/21.jpg)
![Page 22: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/22.jpg)
List Comprehensions
![Page 23: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/23.jpg)
![Page 24: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/24.jpg)
![Page 25: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/25.jpg)
![Page 26: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/26.jpg)
![Page 27: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/27.jpg)
A Quick Word about Comma Overloading
![Page 28: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/28.jpg)
![Page 29: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/29.jpg)
ZipLists
![Page 30: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/30.jpg)
ap([f, g], [x,y])[f(x), f(y), g(x), g(y)]
-or-
ap([f, g], [x,y])[f(x), g(y)]
![Page 31: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/31.jpg)
ap([f, g], [x,y])[f(x), f(y), g(x), g(y)]
-or-
ap([f, g], [x,y])[f(x), g(y)]
ZipList
![Page 32: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/32.jpg)
![Page 33: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/33.jpg)
![Page 34: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/34.jpg)
![Page 35: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/35.jpg)
Eventual Results
![Page 36: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/36.jpg)
![Page 37: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/37.jpg)
![Page 38: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/38.jpg)
![Page 39: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/39.jpg)
![Page 40: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/40.jpg)
Combinators
Comprehensions
Semaphores
Parallel Computations
Composition
![Page 41: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/41.jpg)
Lots more I didn’t get to...
![Page 42: Liftin every day](https://reader035.fdocuments.us/reader035/viewer/2022062514/5588f550d8b42a59138b46d4/html5/thumbnails/42.jpg)
•http://looprecur.com
•@drboolean
•drboolean.tumblr.com
•https://github.com/loop-recur/typeclasses
THANKS!