Tekmo

5 ms·

1. 1.▲
   by Tekmo 11y ago

   Lucky for you, Mountain View has Haskell startups!
2. 2.▲
   by Tekmo 11y ago

   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 pipelines.
3. 3.▲
   by Tekmo 11y ago

   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: newtype Ex
4. 4.▲
   by Tekmo 11y ago

   I'm already working on this: https://github.com/ipfs/apps/issues/6
5. 5.▲
   by Tekmo 11y ago

   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