« earlier | later » Page 3 of 6
8 ways to report errors in Haskell
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
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
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
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
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
Detailed paper on the development of Haskell -- very interesting reading. The other papers in the same conference will probably be worth checking out too.
GHC's implementation of Template Haskell.
to compiler haskell metaprogramming research templates ... on 06 October 2006
Generic Programming with Strafunski
Another library along the lines of Data.Generics.
« 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 |
| 56 | haskell |
| 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.