categories

categories from category-extras (by ekmett)

Categories Alternatives

Similar projects and alternatives to categories

  1. exceptions

    mtl friendly exceptions

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. either

    the EitherT monad transformer (by ekmett)

  4. distributed-fork

    A distributed data processing framework in Haskell.

  5. funflow

    Functional workflows

  6. catalyst

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

  7. apecs

    4 categories VS apecs

    a fast, extensible, type driven Haskell ECS framework for games

  8. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  9. premonoidal

    Agda encoding of premonoidal categories

  10. ComonadSheet

    A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

  11. lens-tutorial

    The missing tutorial module for the lens library

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better categories alternative or higher similarity.

categories discussion

Log in or Post with

categories reviews and mentions

Posts with mentions or reviews of categories. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-05-16.
  • Overloading the lambda abstraction in Haskell (2022)
    1 project | news.ycombinator.com | 30 Dec 2024
    The linear functions/SMC work is really cool, but I am surprised to see the author calling it more mature than the compiling to CCCs work. The linear-smc library hasn't had an upload in a while, and it's currently missing any haddocks beyond the extracted type signatures. It's also a shame that it had to build its own typeclass for monoidal categories instead of using the one in https://hackage.haskell.org/package/categories .

    Meanwhile KittyHawk did actually use the compile-to-CCCs work to compile Haskell to C in https://github.com/sellout/compiling-anything-to-categories and someone from there talks about it at https://www.youtube.com/watch?v=VUBj8NW7uMA

    I think the linear-smc work is more exciting and I hope it matures with a bit more elbow grease. There was an ICFP talk that accompanied the linked paper ( https://www.youtube.com/watch?v=90OJz0QE4qE ) and monoidal categories can model lots of "boxes and wires" things. Linear functions potentially give you a much more ergonomic DSL for building up those boxes-and-wires models, and in a way that lets you write abstractions that work over any model.

  • Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
    6 projects | /r/haskell | 16 May 2021
    For example, the categories package looks like a good, standard set of typeclass definitions; but unfortunately it doesn't fit my purpose because

Stats

Basic categories repo stats
2
34
0.0
over 5 years ago

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com