I feel that we are just scratching the surface of what #programming languages are, and even what reasoning is. Our current languages would look like morze code to future generations.
(No I am not referring to anything related to #ai )
The keywords for this toot are #haskellcurry #lambda #categorytheory etc.
Survey of Precursors Of Category Theory
• https://inquiryintoinquiry.com/2023/04/03/survey-of-precursors-of-category-theory-3/
A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.
#CategoryTheory #CombinatoryLogic #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam
