« earlier | later » Page 4 of 6
The Perl 6 compiler/interpreter written in Haskell.
Implementing call/cc using monads. The same approach could be used to implement occam-style concurrency in Haskell without needing to mess with the runtime -- I reckon there's a paper in there...
to concurrency functional haskell monads research ... on 01 October 2006
Scrap your boilerplate ... in Haskell
Generic programming in GHC -- with one of the examples being traversing ASTs in a nice way. This looks distinctly useful (and rather nicer than the current approach I'm using!), provided it meshes nicely with the monad stuff [yes, it does, it's in the fir
to compiler functional haskell research ... on 01 October 2006
Haskell - Wikibooks, collection of open-content textbooks
Quite a good Haskell tutorial.
to functional haskell programming research ... on 06 September 2006
How monads work in Haskell, via a rather silly metaphor.
to functional haskell monads research ... on 15 August 2006
Write Yourself a Scheme in 48 hours
A Haskell tutorial that starts with "hello, world" and builds up to a Scheme subset interpreter. Fun -- "Haskell for real apps".
http://repetae.net/john/Util.Parse.hs
John Meacham's Parsec-ish (but, apparently, nicer) parser framework for Haskell.
QuickCheck: An Automatic Testing Tool for Haskell
"The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases."
to haskell research software testing ... on 06 February 2006
« earlier | later » Page 4 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.