Just Testing

Blogging on the iPhone :)

Wed, 27 Aug 2008 00:09:48 +1000

Programming Language Beauty: Look Closure (by Erik Meijer).

Tue, 12 Aug 2008 11:05:35 +1000

Programming Language Beauty: Look Closure (by Erik Meijer).

Unwelcome Advice from Intel

Thu, 03 Jul 2008 15:04:35 +1000

Unwelcome Advice from Intel

Mac OS X Intel/Leopard installer for GHC 6.8.3 (final)

Thu, 03 Jul 2008 15:03:35 +1000

Mac OS X Intel/Leopard installer for GHC 6.8.3 (final)

Mac OS X Intel/Leopard installer for GHC 6.8.3 Release Candidate

Wed, 04 Jun 2008 19:57:05 +1000

Mac OS X Intel/Leopard installer for GHC 6.8.3 Release Candidate

Dons' Haskell is a strict language.

Wed, 07 May 2008 13:40:44 +1000

Dons' Haskell is a strict language.

CUFP 2007 Videos in the ACM Digital Library.

Wed, 07 May 2008 12:06:04 +1000

CUFP 2007 Videos in the ACM Digital Library.

Type Checking with Open Type Functions.

Thu, 03 Apr 2008 12:01:00 +1100

Type Checking with Open Type Functions.: GHC’s type checker supports type synonym families in the development version since a few months. This paper explains the type theory underlying that extension.

The FP Sydney group (fp-syd) will have their second meeting this coming Thursday, 27 March. Details...

Tue, 25 Mar 2008 15:10:34 +1100

The FP Sydney group (fp-syd) will have their second meeting this coming Thursday, 27 March. Details are on the fp-syd Google groups page.

Inaugural Meeting of FP-Syd.

Fri, 29 Feb 2008 11:18:47 +1100

Inaugural Meeting of FP-Syd.: Here is the Google group of fp-syd.

The glorious GHC for the discerning Mac user.

Thu, 14 Feb 2008 21:20:20 +1100

The glorious GHC for the discerning Mac user.

Edsger W. Dijkstra’s Discipline in Thought.

Wed, 05 Dec 2007 16:03:00 +1100

Edsger W. Dijkstra’s Discipline in Thought.

No monadic headaches: multi-core concurrency is easy in Haskell

Mon, 26 Nov 2007 11:59:01 +1100

No monadic headaches: multi-core concurrency is easy in Haskell

C->Haskell 0.15.1 released.

Mon, 26 Nov 2007 10:59:23 +1100

C->Haskell 0.15.1 released.: Duncan’s latest release builds with GHC 6.4 through to 6.8 and also properly supports OpenBSD and Windows. Moreover, the documentation has been updated.

Generic programming with type-indexed data types using type families.

Thu, 15 Nov 2007 13:29:23 +1100

Generic programming with type-indexed data types using type families.: On Monday I gave a talk at SAPLING on some recent ideas for coding Generic Haskell-style type-indexed data types using type families.

Partial Vectorisation of Haskell Programs.

Thu, 01 Nov 2007 20:54:10 +1100

Partial Vectorisation of Haskell Programs.: This draft paper introduces a novel method to vectorise irregular array programs for parallel execution when vectorisation is only possible for part of the program. We developed this method as part of our effort to implement support for nested data parallelism in the Glasgow Haskell Compiler.

Specialising Simulator Generators for High-Performance Monte-Carlo Methods.

Thu, 01 Nov 2007 20:48:47 +1100

Specialising Simulator Generators for High-Performance Monte-Carlo Methods.: The final version of our paper describing the world’s fastest Monte-Carlo simulator for polymerisation kinetics, to be presented at PADL’08 in January in San Francisco. I think this is a nice example of how you can use a functional language like Haskell for the bulk of your code and still beat everybody else in the performance game.

Time Machine in Leopard.

Tue, 30 Oct 2007 10:02:53 +1100

Time Machine in Leopard.: Got myself Leopard over the weekend. It’s a nice improvement over Tiger, but the best feature may well be Time Machine, Leopard’s backup system. It’s simple, very cute, and just does the job.

Towards Open Type Functions for Haskell.

Mon, 03 Sep 2007 14:26:13 +1000

Towards Open Type Functions for Haskell.: New draft paper.

C->Haskell 0.15.0 released.

Fri, 31 Aug 2007 11:18:31 +1000

C->Haskell 0.15.0 released.: This version includes Duncan Coutts’ new parser with excellent gcc compatibility including gcc language extensions and an improved build system.