Haskell's Type Classes: We Can Do Better – John A De Goes edit / delete

Reasons for wanting first-class typeclasses. Personally I'd just settle for having Haskell-style typeclasses in a language I could actually use for real work...

to haskell language-design typeclass ... on 14 October 2016

Haskell for all: Scrap your type classes edit / delete

"What I'm about to propose is that all Haskell type class programming can (and should) be implemented purely at the value level using a simple and ordinary code transformation." Well, yes, but the resulting code is HORRIBLE...

to haskell language-design typeclass ... on 14 October 2016

turtle: Shell programming, Haskell-style | Hackage edit / delete

"turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as both a shell and a scripting language."

to haskell scripting shell ... on 22 March 2015

simonmar/monad-par - GitHub edit / delete

A parallel monad from Simon M.

to concurrency haskell parallel ... on 02 September 2011

HackageDB: stunts-0.1.2 edit / delete

A clone of 4D Stunts Driving. In Haskell. Obviously.

to games haskell obviously stunts ... on 14 August 2011

TwistedSquare / Publications edit / delete

Neil's publications.

to c++ concurrency haskell occam publications ... on 08 May 2010

Things that amuse me edit / delete

Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...

to compiler haskell llvm research tock types ... on 16 June 2009

WebHome < HUT < TWiki edit / delete

Some interesting parser/compiler stuff for Haskell.

to compiler grammar haskell parsing research ... on 06 June 2009

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom