|
|
|
|
|
|
by naasking
562 days ago
|
|
|
> But thinking about how to mesh this scheme together with other, "normal" (that is, pointer-heavy) part of the code makes me slightly nauseous. Haskell already solved this with kinds. Unboxed values are of kind # rather than the usual kind * of all other values, and you can lift a # to a * via the usual boxing operation. https://wiki.haskell.org/Unboxed_type |
|
|