It looks like you're new here. If you want to get involved, click one of these buttons!
Hi, I am a programmer from Poland. Got into (typed) functional programming, because I was working on a big project in Ruby and the complexity started to be unmanageable. I hope to formalize my understanding of best practices, modelling, abstractions found in software development via Category Theory.
PS. Thank you for doing this John !