Scale By The Bay 2021 : Stewart Stewart, Solving the Rubik's Cube with Group Theory
We've heard all about Monoids, but have you thought about Groups? Group theory has numerous applications in diverse fields, yet the group typeclass usually receives only a passing mention in connection with monoids. As it turns out, groups can be a powerful tool for reasoning about transformations of state.
In this talk, we'll approach group theory from an intuitive angle. We'll learn about the `Group` typeclass and permutations, then see see how theory and functional programming combine to inform the development of a DSL for solving the Rubik's Cube. The presentation will feature live coding and conclude with a demonstration of such a solution using a bluetooth enabled Rubik's Cube. It is my hope that you'll leave with an increased appreciation for the symbiosis between math and FP when it comes to problem-solving, and be able to spot use cases for groups in future problems.
Видео Scale By The Bay 2021 : Stewart Stewart, Solving the Rubik's Cube with Group Theory канала FunctionalTV
In this talk, we'll approach group theory from an intuitive angle. We'll learn about the `Group` typeclass and permutations, then see see how theory and functional programming combine to inform the development of a DSL for solving the Rubik's Cube. The presentation will feature live coding and conclude with a demonstration of such a solution using a bluetooth enabled Rubik's Cube. It is my hope that you'll leave with an increased appreciation for the symbiosis between math and FP when it comes to problem-solving, and be able to spot use cases for groups in future problems.
Видео Scale By The Bay 2021 : Stewart Stewart, Solving the Rubik's Cube with Group Theory канала FunctionalTV
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
SF Scala: Stepan Pushkarev, Model Monitoring in Productionscale.bythebay.io: Chris Rupley & Till Bergmann, Complex Machine Learning Pipelines Made EasySF Scala: Reimagining Functional Type ClassesScale By The Bay is back!Rethink Trust 2018: Nick Kurat , Insights from Enterprise Blockchain Engineeringdata.bythebay.io: Eric Williams, What Healthcare Can Learn from Netflixscale.bythebay.io: Vladimir Bacvanski, How to Pick Your Next Streaming ArchitectureScale By The Bay 2020: Jason Swartz, TypeScript - You'll Like ItSF Scala: Evan R Sparks, Taming Large Scale Deep LearningScale By The Bay 2019: François Farquet, The Renaissance for Big Data and Parallelism with GraalVMScale By The Bay 2019: Shajan Dasan Interviewscale.bythebay.io: Feynman Liang InterviewSF Scala: Michael Pilquist, fs2.ChunkQuantum Conversations VIII: Sigmoid and Quantum Machine Learning on IBM QScale By The Bay 2018: Brian Cantrill Interviewscala.bythebay.io: Ashvin Agrawal, Avrillia Floratou, Karthik Ramasamy, Twitter Heron on YARN/REEFScale By The Bay 2018: Paul Chiusano, Programming the worldwide elastic supercomputer with UnisonSF Scala: Eugene Burmako & Alex Suhan, Swift as syntactic sugar for MLIRScale By The Bay 2020: Panel: Were Microservices a Huge Mistake?Scale By The Bay 2018: Justin Kaeser Interviewscala.bythebay.io: Miles Sabin, Keynote: Typelevel in 2016