what is the relation of a class in programming and category theory?

This page summarizes the projects mentioned and recommended in the original post on /r/askmath
Haskell category-theory Functional programming PDF Latex

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • milewski-ctfp-pdf

    Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

    • It's also possible to model programming languages using category theory, but I know less about that. If you're interested in following this up, then Benjamin Pierce has what I'm told is a good introduction to category theory for computer scientists, and Bartosz Milweski has an online book (it might be available in hard copy as well, I'm not sure) called Category Theory for Programmers. I believe simple programming languages like the simply typed lambda calculus end up being modelled as Cartesian closed categories.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Category Theory for Programming

    1 project | news.ycombinator.com | 6 Nov 2023

  • Polynomial Functors: A Mathematical Theory of Interaction [pdf]

    1 project | news.ycombinator.com | 9 Jul 2023

  • Monads vs Classes

    3 projects | /r/Clojure | 9 Jun 2023

  • 今天看到的，是真的离谱。

    1 project | /r/China_irl | 7 Jun 2023

  • Reading recomendations on Category Theory

    1 project | /r/math | 25 Apr 2023