Deconstructing Lambdas—An Awkward Guide to Programming Without Functions

• catalyst

  2 13 0.0 Haskell

  There are many category theory implementations, but this one is mine (by ChrisPenner)

you introduce symmetric categories before monoidal categories , whereas I was thinking of introducing monoidal categories before symmetric monoidal categories.

• premonoidal

  2 3 4.2 Agda

  Agda encoding of premonoidal categories

The reason I don't like it is the same as always: we learn nothing from that representation. I can easily think about and visualize lists. I can't do that with the equivalence classes of MonoidAST nor with this FreeMonoid implementation which just regurgitates the definition of a free monoid back at me. I prefer to put actually work into finding a useful definition, such as a list, so that I can reap the benefits later when I get to manipulate values of type list :)

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• categories

  1 33 0.0 Haskell

  categories from category-extras

For example, the categories package looks like a good, standard set of typeclass definitions; but unfortunately it doesn't fit my purpose because

• free-premonoidal

  1 1 4.5 Haskell

I haven't touched category-syntax itself in years, so it's probably very bit-rotten by now. I've been working in two other repos, premonoidal and free-premonoidal, in order to look for the elusive free {,symmetric,precartesian,cartesian} premonoidal category, and then I plan to go back and resurect category-syntax once I'm done with that quest. But if there's interest, perhaps I can try to revive it with a slightly-less-perfect representation!

Suggest a related project