Lucky for you, Mountain View has Haskell startups!
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:…
Lucky for you, Mountain View has Haskell startups!
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:…