first-class-families
First-class type families (by Lysxia)
no-role-annots
Role annotations without -XRoleAnnotations (by goldfirere)
| first-class-families | no-role-annots | |
|---|---|---|
| 1 | - | |
| 85 | 1 | |
| - | - | |
| 6.2 | 0.0 | |
| about 1 month ago | almost 10 years ago | |
| Haskell | Haskell | |
| MIT 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.
first-class-families
Posts with mentions or reviews of first-class-families.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-30.
-
Foldr type level implementation
First class families is the approach I'm familiar with, although it can feel a bit heavy-handed. There's a chapter in Thinking with Types about how to use fcf.
no-role-annots
Posts with mentions or reviews of no-role-annots.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning no-role-annots yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
When comparing first-class-families and no-role-annots you can also consider the following projects:
tttool - Trying to understand the file format of Tip Toi
update-nix-fetchgit - A program to automatically update fetchgit values in Nix expressions
generic-data - Generic data types in Haskell, utilities for GHC.Generics
hyperloglogplus - Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation
nixfromnpm - Convert NPM packages into nix expressions
parconc-examples - Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
CheatSheet - A Haskell CheatSheet in PDF and literate source formats.
chart-unit - Unital Charts
foundation - Empire strikes back
first-class-families vs tttool
no-role-annots vs update-nix-fetchgit
first-class-families vs generic-data
no-role-annots vs generic-data
first-class-families vs hyperloglogplus
no-role-annots vs nixfromnpm
first-class-families vs parconc-examples
no-role-annots vs parconc-examples
first-class-families vs nixfromnpm
no-role-annots vs CheatSheet
first-class-families vs chart-unit
no-role-annots vs foundation