archive-libarchive VS really-small-backpack-example

archive-libarchive

We haven't tracked posts mentioning archive-libarchive yet.
Tracking mentions began in Dec 2020.

really-small-backpack-example

• Haskell is the greatest programming language of all time
  7 projects | /r/haskell | 2 Nov 2022
• Implied bounds and perfect derive
  3 projects | /r/rust | 12 Apr 2022

  Isn’t this what Haskell’s backpack does? https://github.com/danidiaz/really-small-backpack-example

• Polymorphic unpacking through backpack?
  2 projects | /r/haskell | 22 Oct 2021

  Also worth mention how module identity works in Backapck: two modules instantiated separately but with the same ingredients are "equal" and have compatible types.

• Using dependent types to write proofs in Haskell
  1 project | /r/haskell | 3 Jun 2021

  Anyway, an alternative to RULES that I've explored is to put the proofs behind a module signature and compile to versions of the program, one with "real" proofs and another with unsafeCoerced ones. This avoids the danger of the RULEs silently ceasing to apply because of name changes (don't know how common is that danger in practice though).

• Video Tutorial: "Using proofs to make functions faster over length-indexed vectors" (Richard Eisenberg)
  1 project | /r/haskell | 13 May 2021

  Here's an example of how to use Backpack (instead of rewrite rules) to alternate between "normal" proofs and the ones which use usafeCoerce.

• Proposal for parametric modules like Coq's?
  2 projects | /r/haskell | 12 Feb 2021

  Perhaps Backpack could enable something similar to that?

• Anyone actively using dhall-to-cabal or hpack-dhall?
  2 projects | /r/haskell | 11 Jan 2021

  While being nowhere near programmability, Cabal's common stanzas can be very useful to reduce duplication. An example.

• Abstracting monad stacks with Backpack
  1 project | /r/haskell | 25 Dec 2020