Marco Perone at Lambda World Cádiz 2019

 

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

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.