streams
Haskell 2010 stream comonads (by ekmett)
data-category
Library of categories, with categorical constructions on them (by sjoerdvisscher)
streams | data-category | |
---|---|---|
3 | 1 | |
22 | 54 | |
- | - | |
1.0 | 3.3 | |
about 1 year ago | 9 months ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
streams
Posts with mentions or reviews of streams.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-13.
-
Infinite lists
Cool, looks good. I've used u/edwardkmett's streams package, but I would certainly consider moving to something more complete, maintained and with a smaller dependency footprint. Plus, it defines head, which streams lacks for some reason.
-
How Long is your List?
FWIW, there are quite a few libraries on Hackage implementing the infinite Stream type. When I looked in to this last year, u/edwardkmett's streams was the only one that seemed to be maintained.
data-category
Posts with mentions or reviews of data-category.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-02.
-
Monthly Hask Anything (October 2021)
Even a fairly simple statement like "F preserves direct limits over N" is basically impossible to express like this. You can step further from Hask and work at the type level until the very end (which I believe is the approach taken by data-category), you can resign yourself to only expressing things that can be "defunctionalized" (an appropriate use of the term, I think, if not a correct one) down to Haskell functions, which gets you (Co)Yoneda, Lan, Ran, etc. in the general case and I think Traversable in this particular instance, or you can take some intermediate approach with constrained functions and/or explicit witnesses in your data types, but you can't make proper category theory "just work" the way it should.
What are some alternatives?
When comparing streams and data-category you can also consider the following projects:
base64-bytestring - Fast base64 encoding and decoding for Haskell.
data-lens - Haskell 98 Lenses
proto-lens - API for protocol buffers using modern Haskell language and library patterns.
data-lens-fd - Lenses with Functional Dependencies
comonad - Haskell 98 comonads
cassava-conduit - Conduit interface for cassava [Haskell]
comonads-fd - comonad transformers based on functional-dependencies
folds - Folds and sequence algebras
representable-tries - representable tries
total-map - Finitely represented /total/ maps
monoid-extras - Miscellaneous constructions on monoids
kan-extensions - Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
streams vs base64-bytestring
data-category vs data-lens
streams vs proto-lens
data-category vs data-lens-fd
streams vs comonad
data-category vs cassava-conduit
streams vs comonads-fd
data-category vs folds
streams vs representable-tries
data-category vs total-map
streams vs monoid-extras
data-category vs kan-extensions