Marco PeroneinStateboxMore (Categorical) Thoughts on Lawful LensesIn the previous post we discussed how we could state a definition for generic lawful optics and we proved that lawful lenses are…Oct 16, 2019Oct 16, 2019
Marco PeroneinStateboxOn Lawful LensesLately there has been a lot of hype around lenses and optics in general, both in the functional programming community and in the category…Oct 16, 20192Oct 16, 20192
Marco PeroneinStateboxProgramming Languages as CategoriesIn our previous posts we saw how to work with categories and functors in Idris, providing definitions that encode all the required…Apr 29, 2019Apr 29, 2019
Marco PeroneinStateboxFun with functorsIn our last post we provided some examples of categories which show how, with our newly defined concept of category, we can generalize a…Mar 21, 2019Mar 21, 2019
Marco PeroneinStateboxConcrete categoriesIn our first post on categories in Idris we provided a definition of category which we can practically use. But we actually didn’t check…Feb 28, 20191Feb 28, 20191
Marco PeroneinStateboxFun with CategoriesIn the past years there’s been a lot of talking about category theory in the functional programming community. This is because category…Feb 20, 20191Feb 20, 20191