tardis
categories
| tardis | categories | |
|---|---|---|
| - | 2 | |
| 110 | 33 | |
| 0.0% | - | |
| 5.5 | 0.0 | |
| about 1 year ago | over 5 years ago | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
tardis
We haven't tracked posts mentioning tardis yet.
Tracking mentions began in Dec 2020.
categories
-
Overloading the lambda abstraction in Haskell (2022)
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
For example, the categories package looks like a good, standard set of typeclass definitions; but unfortunately it doesn't fit my purpose because
What are some alternatives?
control-monad-free - Free monads and monad transformers
exceptions - mtl friendly exceptions
monad-control - Lift control operations, like exception catching, through monad transformers
either - the EitherT monad transformer
freer-effects - An implementation of "Freer Monads, More Extensible Effects".
distributed-fork - A distributed data processing framework in Haskell.