« earlier | later » Page 3 of 6
8 ways to report errors in Haskell edit / delete
Or: why I couldn't do the thing I was trying to do on Saturday.
to exceptions haskell programming ... on 19 March 2007
A Haskell debugging tool; designed for inspecting data structures.
to debugging haskell research software ... on 10 November 2006
Haskell/Existentially quantified types - Wikibooks, collection of open-content textbooks edit / delete
How to do heterogenous lists (i.e. lists containing items of a typeclass, rather than of a type).
to functional haskell programming research ... on 19 October 2006
All About Monads edit / delete
Handy introduction and reference to Haskell's standard monads.
to functional haskell monads research ... on 19 October 2006
HS XML queries via SYB3 like generic transformations edit / delete
Another generic transformations approach, with some HsXML examples. It appears from the provided code to be a "semi-structured data" system, which may be exactly what we want.
to compiler generics haskell research ... on 07 October 2006
The Haskell doc extraction system -- remarkably similar to OccamDoc, as you'd expect, except I think I like our syntax better.
to documentation haskell programming research ... on 07 October 2006
Halfs, A Haskell Filesystem edit / delete
Haskell bindings for FUSE. They use monads to restrict the things that read-only FS ops can do, which is quite interesting.
to filesystems fuse haskell monads ... on 07 October 2006
History of Haskell - HaskellWiki edit / delete
Detailed paper on the development of Haskell -- very interesting reading. The other papers in the same conference will probably be worth checking out too.
7.6. Template Haskell edit / delete
GHC's implementation of Template Haskell.
to compiler haskell metaprogramming research templates ... on 06 October 2006
« earlier | later » Page 3 of 6
| - haskell | |
| 3 | + c++ |
| 1 | + cmp409 |
| 1 | + community |
| 1 | + compilation |
| 12 | + compiler |
| 5 | + concurrency |
| 1 | + conference |
| 1 | + coq |
| 1 | + correctness |
| 1 | + debugging |
| 2 | + design |
| 1 | + documentation |
| 1 | + exceptions |
| 1 | + filesystem |
| 1 | + filesystems |
| 1 | + formal-verification |
| 14 | + functional |
| 1 | + fuse |
| 1 | + future |
| 1 | + gale |
| 1 | + games |
| 3 | + generics |
| 1 | + grammar |
| 4 | + language |
| 3 | + language-design |
| 1 | + lexer |
| 1 | + libraries |
| 2 | + llvm |
| 1 | + maths |
| 1 | + metaprogramming |
| 1 | + ml |
| 1 | + monad |
| 5 | + monads |
| 1 | + obviously |
| 1 | + occam |
| 2 | + os |
| 1 | + parallel |
| 5 | + parsing |
| 2 | + perl |
| 12 | + programming |
| 1 | + publications |
| 1 | + reading-code |
| 38 | + research |
| 1 | + scripting |
| 1 | + shell |
| 5 | + software |
| 1 | + static |
| 1 | + static-analysis |
| 1 | + stunts |
| 4 | + teaching |
| 1 | + templates |
| 1 | + testing |
| 3 | + tock |
| 1 | + type-inference |
| 1 | + typechecking |
| 2 | + typeclass |
| 1 | + types |
| 1 | + utilities |
tasty by Adam Sampson.