- October 18, 2019
- •
- lambda world• talks• idris
Lambda World 2019 - Fun With Categories - Marco Perone
Category theory provides us the setting and a common language to talk about computation and composition. Its usage pervades and inspires languages such as Haskell and Scala, lending concepts like functors and monads. Still, functional programming is just one of the possible applications of category theory, which may actually vary from physics and chemistry to machine learning and blockchain. So what about a change of perspective? Let’s make category theory the subject of our code and actually implement it!
In this talk, we will take a look at how we can define concepts of category theory, using a programming language as Idris, which allows us to properly define all the required laws and properties of the objects in question, and we will see how we can take advantage of them in concrete contexts.
Follow Marco Perone on Twitter - @marcoshuttle
Subscribe to the Lambda World YouTube channel to be notified when new videos are added. You can also join the conversation by following @Lambda_World and use #LambdaWorld