« earlier | later » Page 2 of 6
Eliminating Array Bound Checking through Non-dependent types edit / delete
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) edit / delete
It appears Claus has been working on SYB+Uniplate too...
to generics haskell programming ... on 01 August 2008
polyparse: alternative parser combinator libraries edit / delete
... 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
Blow your mind - HaskellWiki edit / delete
Some mostly opaque and occasionally useful things to do with Haskell.
to functional haskell programming ... on 09 May 2008
Haskell Programming: Miscellanea edit / delete
All sorts of completely insane things to do with Haskell.
to functional haskell programming ... on 09 May 2008
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
« 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 |
| 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.