A modern programming language that makes developers happier.

kotlinlang

same for me, I know some basics of CT, and got more mileage from applying them in examples and projects such as porting papers to Arrow

That’s good to hear. I’m find CT is a bit complex.

CT is very broad and in programming the most relevant category where the Kotlin types are objects and functions morphisms is really the one we care about and on which the type classes and data types we use come from for the most part. Twitter is a good source to follow authors and math people heavily on all CT beyond programming. 

Howard, from the Curry-Howard correspondence replied in LW to <@U8PDACCKD> un an email something I found very interesting...

&gt; I am bemused at the whole business. The main purpose of my little paper
was to provide an interpretation of Brouwer's intuitionistic mathematics,
and I was surprised to learn, at a meeting in Stanford in 1985, that the
work had applications to programming languages. Perhaps by hindsight it is
not so surprising, since a principle inspiration for my work in logic has
always been Turing's marvelous paper of 1937, "On Computable Numbers ...".

&gt; Your website is pretty interesting. It is nice to see that, in the pursuit
of pure theory, I have played a role in producing something practical!

We probably wouldn't be here discussing if it wasn't for people like him :raised_hands: