« earlier | later » Page 2 of 6
Eliminating Array Bound Checking through Non-dependent types
A neat trick: using existentially-qualified (but unspecified) types to track instances of arrays at the type level.
to haskell research static-analysis typechecking ... on 18 August 2008
[Hs-Generics] Data.Generics with GPS (using Maps to avoid getting lost in Data)
It appears Claus has been working on SYB+Uniplate too...
to generics haskell programming ... on 01 August 2008
polyparse: alternative parser combinator libraries
... which appear to be like Parsec, but with a cut operator rather than a try operator. Worth looking at.
to compilation haskell parsing research ... on 24 June 2008
Some mostly opaque and occasionally useful things to do with Haskell.
to functional haskell programming ... on 09 May 2008
Haskell Programming: Miscellanea
All sorts of completely insane things to do with Haskell.
to functional haskell programming ... on 09 May 2008
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
« earlier | later » Page 2 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.