« earlier | later » Page 3 of 6
Target for the nanopass paper.
to conference haskell research tock ... on 01 April 2008
Neil Mitchell - Catch: Case Totality Checker for Haskell
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
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
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
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
« 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.