« earlier | later » Page 3 of 6
Haskell Symposium 2008 edit / delete
Target for the nanopass paper.
to conference haskell research tock ... on 01 April 2008
Neil Mitchell - Catch: Case Totality Checker for Haskell edit / delete
Unfortunately this uses Yhc, and I doubt somewhat that Yhc can compile Tock yet (given that GHC barely manages it)...
Lexer generator for Haskell. May be worth using for Tock, with a follower pass that applies the line ending rules.
Command line options in Haskell edit / delete
A neat way to do arg parsing in Haskell by composing functions on a state struct.
to haskell programming research ... on 25 April 2007
Nub Games » Writing a Simple Search Engine in Haskell: Part 1 — Maybe and List edit / delete
Includes the worst analogy for monads I've ever read, but there's some interesting stuff here.
to functional haskell monads research ... on 09 April 2007
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
« 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.