filmov
tv
BDSBTB 2015: Matthew Fuchs, Map/Reduce as an Example of Programming with Categories
Показать описание
-----
Category Theory is normally considered conceptually, inspiring data structures, but it also has a computational side (viz. monads). The question then comes, can one consider categories as a programming language and what would that look like? Deferring the general question, this will show a reduction of the Map/Reduce programming paradigm to categories using a lot of basic categorical machinery, such as monoids, free monoids, functors and fibres and then show how the resulting, fully functional, program, implemented in Scala, can be further reduced to execute on multiple platforms, such as Hadoop and Spark. This will provide a practical view of categories for the working non-mathematician and should be at least amusing, if not enlightening.
Category Theory is normally considered conceptually, inspiring data structures, but it also has a computational side (viz. monads). The question then comes, can one consider categories as a programming language and what would that look like? Deferring the general question, this will show a reduction of the Map/Reduce programming paradigm to categories using a lot of basic categorical machinery, such as monoids, free monoids, functors and fibres and then show how the resulting, fully functional, program, implemented in Scala, can be further reduced to execute on multiple platforms, such as Hadoop and Spark. This will provide a practical view of categories for the working non-mathematician and should be at least amusing, if not enlightening.
0:48:43
BDSBTB 2015: Matthew Fuchs, Map/Reduce as an Example of Programming with Categories
0:20:53
BDSBTB 2015: Ola Wilberg, Building a Health Data platform for the Future
0:26:59
BDSBTB 2015: Vladimir Bacvanski, Developing Big Data Applications with Scalding
0:01:04
110 Reducing for Book [MongoDB, NoSQL, BigData]
0:43:53
BDSBTB 2015: Martin Odersky, Spark -- the Ultimate Scala Collections
0:41:42
BDSBTB 2015: Ryan LeCompte: Quantifind's story: Building Custom Interactive Data Analytics
0:40:37
BDSBTB 2015: David Andrzejweski, Economical Machine Learning via Functional Programming
0:22:12
BDSBTB 2015: Xiaojun Liu, Scalable Analytics of Machine Data
0:59:09
MapReduce Data Flow | Map Reduce Tutorial with Wordcount Example | DataFlair
1:00:49
SBTB 2015: Michael Pilquist, A Tour of Functional Type Classes via Scodec and Simulacrum
0:39:41
BDSBTB 2015: Koji Sekiguchi, NLP4L: Natural Language Processing Tool for Apache Lucene
0:50:34
NoSQL in a Hadoop World - Meetup Talk 2/2
1:30:19
Лекція № 18. В.В. Любашенко - '+'-конструкція Квилена як функтор...
0:58:41
Using Category Theory to Model Adaptive Processes - Jürgen Jost (TOM conference)
0:46:37
SBTB 2015: Jonas Bonér, The Sadness at the End of the Happy Path
0:41:59
ScalaSyd Ep42 - 03. Hash Functions as Monoid Homomorphisms by Sam Reis
0:41:34
FilMat - Brice Halimi 'Category Theory and Set Theory'
0:17:56
Modelling Interconnected Systems with Decorated Corelations
1:08:52
Robert Paré: Retrocells redux
0:03:09
Parallel Programming in Dyalog using Futures and Isolates by Morten at Functional Conf 15 Trailer
1:01:40
Bartosz Milewski. Categories for the Working C++ Programmer
0:03:09
Introduction To Concurrency In Haskell by Abhinav Sarkar at Functional Conf 15 Trailer
1:00:56
ExpertTalks India Sep 2015: Functional Programming Part 2B
1:42:49
Joel David Hamkins - Apr 27, 2015 - Morning Session (Part 1 of 2)
Комментарии