On Sun, Mar 7, 2010 at 10:53 PM, Stephen Tetley <stephen.tet...@gmail.com> wrote: > Hi All > > What is the state-of-the-practice in type-level programming? > > I know Günther started this thread about monads, but I seem to > remember him having a long running problem with "typeful" database > programming, and I wonder if some of his problems are really in the > later area. Compared to monads, type-level programming seems much more > a wild frontier - scattered docs, fewer definitive examples, no > de-facto standard library.
So I want the book describes how to make type-level programming up to the practice. I think this would cover how to provide simple interface for types and contexts with full benefits, how to produce friendly error message in type-errors, when to use UndecidableInstances, and how to get rid of such itchy things. -nwn _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
