church
compdata
church | compdata | |
---|---|---|
- | 1 | |
1 | 89 | |
- | - | |
0.0 | 4.8 | |
over 5 years ago | 7 months ago | |
Haskell | Haskell | |
MIT 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.
church
We haven't tracked posts mentioning church yet.
Tracking mentions began in Dec 2020.
compdata
-
Most Influential Functional Pearls since 2000?
There is a quite comprehensive implementation of these ideas in compdata. Even if I don't use it (the paper or the library) directly, it builds on a quite natural idea (data types are initial algebras of functors, and functors compose) so it's nice to have a catchy name for it, "à la carte". A couple of papers have borrowed that phrase in their title as an allusion to that pearl.
What are some alternatives?
deriving-show-simple
compdata-param - Haskell library implementing parametric compositional data types.
generics-eot - A library for generic programming that aims to be easy to understand
compdata-dags - Compositional Data Types on DAGs
quiet - Generic deriving of Read/Show with no record labels.
compdata-fixplate - Compdata basics implemented on top of Fixplate
geniplate - Use TH to generate uniplate-like functions.
Capabilities - A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
unfoldable - Class of data structures that can be unfolded.
genifunctors - Generate generalized fmap, foldMap and traverse