Mark Vincze

Software Developer

category-theory

Playing with the composition of the Kleisli category in C#

c# f# category-theory

Taking a look at how the composition of the Kleisli category can be implemented in C#, and what are the limitations we have to face in type inference.