algebird

Hey, I have... I'm a co-author of Algebird[0], which has many ideas that I'd pull over. I'm hoping to introduce Clojure's "spec" or "schema" libraries so that the types at play can at least be inspectable inside the system. In a fully typed language, I'd implement the extensible generics as typeclasses. I suspect it would make it quite a bit tougher (at least in the approach I'm imagining) for folks to write new generic functions, due to many type constructors... On the other hand, the complexity is there, even if you don't write it down! It would be a big project, and a worthy effort, to write down types for everything in SICM. [0] https://github.com/twitter/algebird

For those interested, here's a nice HyperLogLog implementation in Scala: https://github.com/twitter/algebird/blob/develop/algebird-co...

If you're interested in examples of useful monoids and similar structures, you may want to have a look at the Algebird[0] project or the recent work on CRDTs[1]. The code savings in these projects comes from being able to write the complex distributed aggregation / conflict resolution / etc. code just once, and reuse it with a menagerie of useful implementations. Personally, I like structuring things using these tools when I can get away with it. They're simple and broadly applicable abstractions, and mean I can reuse both my intuitions and my code in wildly diverse situations. [0] https://github.com/twitter/algebird [1] http://highscalability.com/blog/2010/12/23/paper-crdts-consi...

It's an idempotent commutative monoid, so you can encode that quite straightforwardly as a type class. Twitter's Algebird[1] has a wide range of monoid implementations (in Scala). It's a surprisingly useful type class for something so simple. I have a talk[2] and some code [3] that goes into more detail on CRDTs and the connection to monoids. [1:] https://github.com/twitter/algebird [2:] http://noelwelsh.com/programming/2013/12/20/crdts-for-fun-an... [3:] https://github.com/noelwelsh/crdt

Two good examples from the Scala community would be Algebird[1] from Twitter which uses Monoids as a main abstraction and Spire[2], which might be the best numerical library out there and heavily rooted in Abstract Algebra. 1. https://github.com/twitter/algebird 2. https://github.com/non/spire

Great news! Are you planning to do any integration with Erik's spire (https://github.com/non/spire)? I believe, some libraries already started collaborating with it (https://github.com/twitter/algebird/issues/99 and https://github.com/typelevel/scalaz-contrib/tree/master/spir...).

Nice slides. You should check out https://github.com/twitter/algebird - we've implemented a number of streaming algorithms (HyperLogLog, Count Min Sketch, along with stuff like minhash and bloom filters) in Scala as Monoid typeclasses. Love to hear your thoughts or get your contributions.