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 category and the category of coroutine…
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, take the following example type:…
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 + y) >>> :type showAdd showAdd :: (Num…
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 category and the category of coroutine…
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, take the following example type:…
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 + y) >>> :type showAdd showAdd :: (Num…