I’m here to tell you that visual programming, and diagrammatic reasoning in particular, is a…
At Statebox we are exploring using boolean circuits to model computation. One thing we’d…
I claim that compositionality is extremely delicate, and that it is so powerful that it is worth going to extreme lengths to achieve it. [Jules Hedges]
In the past years there’s been a lot of talk about category theory in the functional programming community. This is because…
In our previous posts we explored how to work with categories and functors in Idris, providing…
In our first post on categories in Idris we provided a definition of category which we can practically use. But we didn’t…
In our last post we provided some examples of categories which show how, with our newly defined concept of category, we can…
At Statebox we use category theory to model computation, where the objects of a category represent the…
These were the top 10 stories published by Statebox; you can also dive into yearly archives: 2018, 2019, and 2020.