Haskell Hacking

Libraries

• logict

  A backtracking logic programming monad.

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/logict
  • latest: darcs get http://code.haskell.org/~dolio/logict/
  • reference: Backtracking, Interleaving, and Terminating Monad Transformers

• CC-delcont

  A monadic implementation of multi-prompt delimited continuations.

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/CC-delcont
  • latest: darcs get http://code.haskell.org/~dolio/CC-delcont/
  • references: A Monadic Framework for Delimited Continuations ; Delimited Dynamic Binding

• uvector-algorithms

  Implementations of various algorithms for uvector

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uvector-algorithms
  • latest: darcs get http://code.haskell.org/~dolio/uvector-algorithms/

• vector-algorithms

  A port of uvector-algorithms to the vector package

  • hackage: http://hackage.haskell.org/package/vector-algorithms
  • latest: darcs get http://code.haskell.org/~dolio/vector-algorithms/

• pts

  A parser/type checker/evaluator for simple languages based on pure type systems.

  • latest: darcs get http://code.haskell.org/~dolio/pts/
  • References: Heavily influenced by this blog post by Lennart Augustsson. ; A quick overview of pure type systems

• upts

  A fork of sorts of pts. The constants and axioms can no longer be swaped out, so it is a particular language, rather than a template for many languages. Instead, upts is an experiment in implementing a type system with universe polymorphism.

  • latest: darcs get http://code.haskell.org/~dolio/upts/

• bytestring-show

  Efficient construction of readable byte strings from values

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-show
  • latest: darcs get http://code.haskell.org/~dolio/bytestring-show/

• cps-mtl

  A bit of play with CPSed implementations of monads from the Monad Transformer Library, along with some minor improvements on the interface.

  • latest: darcs get http://code.haskell.org/~dolio/cps-mtl/

misc.

• share

  A variety of short programs in haskell done for my own investigation/amusement.

  • darcs get http://code.haskell.org/~dolio/haskell-share/

Agda Enjoyment

• share

  Random one-off experiments and such in which someone might have interest

  • darcs get http://code.haskell.org/~dolio/agda-share/