JetBrains Research unites scientists working in challenging new disciplines

Seminal on Categories, Functors, Algebras and Functional Programming with Types

13 October 2018

In the talk a certain (but very useful) case of application of category theory terminology for typed functional programming will be considered. It will be shown how some intuitively expected conclusions can be formally justified and what the duality principle can provide.