Viewing profile — Tekmo

Lucky for you, Mountain View has Haskell startups!

Did you read the entire post? Functions were only the first example to introduce the reader to the basic idea of associativity and identity. The post then discusses the Kleisli cat…

The generic benefit of a category is the proof that it satisfies the identity and associativity laws. This lets you write "generic proofs" that work for any category. For example, …

I'm already working on this: https://github.com/ipfs/apps/issues/6

Here's a slightly longer example of Haskell's awesome type inference with some additional commentary to complement the example that elbenshira gave: >>> let showAdd x y = show (x +…