unboxed
experimenting with unlifted classes via backpack (by ekmett)
paths-in-cube
Enumerate the paths that visit every node in a discrete cube. (by kindaro)
| unboxed | paths-in-cube | |
|---|---|---|
| 3 | 3 | |
| 36 | 0 | |
| - | - | |
| 0.0 | 4.5 | |
| over 1 year ago | over 2 years ago | |
| Haskell | Haskell | |
| GNU General Public License v3.0 or later | - |
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.
unboxed
Posts with mentions or reviews of unboxed.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-09-26.
-
How can Haskell programmers tolerate Space Leaks?
With Lev as defined here.
-
[ANNOUNCE] GHC 9.2.1-rc1 is now available!
Check out unboxed. I think that could be a good starting point. I recently updated it to the 9.2.1 alpha here: https://github.com/noughtmare/unboxed/commit/b6338e68540a2c62a6aae6ded0dcdc3b83106916. I should check again if the this issue is fixed in this rc.
-
Principles of Programming Languages - Robert Harper
I tried it out and it is really not usable yet unfortunately. There are several problems. I think the main issue is that you need two versions of all functions and data types. And currently classes like Num are not levity-polymorphic (there is a proposal about this), so you can't use + to add two "real" inductive peano naturals. One problem with making type classes levity-polymorphic is that top-level bindings can't be levity-polymorphic, so mempty cannot be levity-polymorphic. A workaround is to use a type class to levitate levity-polymorphic variables, but that has disadvantages too. Levitated values are not shared and must be recomputed at every call site.
paths-in-cube
Posts with mentions or reviews of paths-in-cube.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-09-26.
-
How can Haskell programmers tolerate Space Leaks?
I have been trying to answer it for myself practically on a toy program that needs a ton of memorization. What I found is that optimizing space behaviour is hell. A value resides in memory while it is in scope, but when and for how long exactly is it in scope? Depends on inlining and specialization. And these things are fragile. Once a computation is evaluated to a big value, there is no way to forcibly «forget» it so that it turns back into a small computation, which makes some seemingly simple things practically impossible. This stuff is not explained anywhere either.
-
How can I pass a local ordering function to a standard set or map?
If you are curious, the code may be seen and toyed with at the repository — it does not have this specific feature yet (or I would not be asking), but shows the need for it.
-
Why does adding `trace ""` give a tenfold speed up?
Code is here: https://github.com/kindaro/paths-in-cube/commit/d79cd4a77f168ab5f5e841c30ade05e51db969f5
What are some alternatives?
When comparing unboxed and paths-in-cube you can also consider the following projects:
bytestring - An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
gotta-go-fast - Abandoned: https://github.com/haskellfoundation/tech-proposals/pull/9
unboxed - experimenting with unlifted classes via backpack