A common link I did not expect to find between category theory and Haskell programming is that if your types line up, it's very very unlikely that you're wrong


@socks this also partially applies to Rust, and it's an amazing paradigm to write software under!

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!