singletons
Fake dependent types in Haskell using singletons (by goldfirere)
containers
Assorted concrete container types (by haskell)
| singletons | containers | |
|---|---|---|
| 2 | 11 | |
| 288 | 323 | |
| 0.3% | 1.5% | |
| 7.9 | 8.4 | |
| 6 days ago | 8 days 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.
singletons
Posts with mentions or reviews of singletons.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-03-22.
- Is it possible to create singleton types for datatype wrapping String/Text?
-
Hey Rustaceans! Got an easy question? Ask here (12/2021)!
In Haskell, you can do this with various trickery involving GADTs/constraints/singletons.
containers
Posts with mentions or reviews of containers.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-12-30.
-
Programming with -XStrict/Unlifted datatypes and associated ecosystem/libraries/preludes
"Make invalid laziness unrepresentable" means you should use strict versions of container types instead of lazy ones. However, for better or for worse, sometimes the "strict version" of a data type is not actually a strict data type, it's just a strict API to the lazy type. Examples include Data.Map.Strict (not Data.Map or Data.Map.Lazy) or Data.HashMap.Strict (not Data.HashMap.Lazy) (sadly there is no Data.Sequence.Strict but perhaps there will be one day).
-
How are Lists & Sequences (from containers package) control structures?
Indeed it's rather subtle. See https://github.com/haskell/containers/issues/752 for more discussion on the matter. Nonetheless, I believe it is "spine strict" in the sense that thunks for all values always exist, even if the spine that holds them can be rearranged due to laziness.
-
An elegant approach to solve this problem?
Note that the list index operator has O(n) complexity. Ideally you'd want to use something like Seq from the containers package
- Monthly Hask Anything (June 2022)
-
Why is seemingly infinite (lazy) recursion faster?
Edison and containers both have sequence types that support efficient, cons, snoc, viewL, viewR, append, map, and length.
-
Haskell - Important Libraries
containers
-
Assessing Haskell (blogpost, slightly negative!)
Calling linked lists Haskell's "primary data structure" seems off-base to me. Yes, there's String, yes, there's built-in syntax for List... but there's also everything in containers, and vector is pretty easy to use in practice, though it would probably be good for more learning material to mention it more prominently.
-
Is a a MONAD in Haskell just the functional equivalent of a generic type (such as in C#) and how do MONADs enable things like saving data?
Haskell has much more sophisticated immutable data structures, you can find them in the "containers" package: https://hackage.haskell.org/package/containers
-
Looking for projects that make heavy use of IntMap which have benchmarks
I asked this on the libraries mailing list but thought posting here would bring in potentially more responses. I made a recent change to the behaviour of lookup and find (see here for more details: https://github.com/haskell/containers/pull/800).
-
Semver doesn't mean MAJOR.MINOR.PATCH, it means FAILS.FEATURES.BUGS
Rust has nothing on Haskell. containers, which might as well be considered part of the standard library, has been out for almost 14 years and is still 0.x
What are some alternatives?
When comparing singletons and containers you can also consider the following projects:
containers - Bitnami container images
adjunctions - Simple adjunctions
hoq - A language based on homotopy type theory with an interval
btree-concurrent - A backend agnostic, concurrent BTree written in Haskell
open-typerep - Open type representations and dynamic types
EdisonAPI - Edison: A Library of Efficient Data Structures
parameterized-utils - A set of utilities for using indexed types including containers, equality, and comparison.
indexed-containers
cubical - Implementation of Univalence in Cubical Sets
igraph - Incomplete Haskell bindings to the igraph library (which is written in C)
helf - Haskell implementation of the Edinburgh Logical Framework
graphite - Haskell graphs and networks library
singletons vs containers
containers vs adjunctions
singletons vs hoq
containers vs btree-concurrent
singletons vs open-typerep
containers vs EdisonAPI
singletons vs parameterized-utils
containers vs indexed-containers
singletons vs cubical
containers vs igraph
singletons vs helf
containers vs graphite