I'm looking for collaborators on two projects, as described below.The first project is Pajama, which is a re-implementation of the Pan language and optimizing compiler for image synthesis and manipulation (
http://conal.net/Pan). The Pajama home page is http://conal.net/Pajama, and a new wiki is a
On 9/11/06, Neil Mitchell <[EMAIL PROTECTED]> wrote:
Can you give any examples of terminating Haskell programs that a human
can analyse (perhaps with a bit of thought), but that your system
can't? (I couldn't find any in your paper)
Euclid's algorithm is mentioned on the web page, if I remember
Hi Peter,
Any (correct) termination analyzer is, of course, incomplete as
the halting problem is undecidable. Our goal is to handle as many
"typical/practical/easy" programs as possible.
Can you give any examples of terminating Haskell programs that a human
can analyse (perhaps with a bit of t
Ashley Yakeley wrote:
> Cool! So are there an infinite number of twin primes or not?
Good one. Wish I knew ;-)
Any (correct) termination analyzer is, of course, incomplete as
the halting problem is undecidable. Our goal is to handle as many
"typical/practical/easy" programs as possible.
One shou
Hi,
Its been a long time since I attempted cluster programming with Haskell.
Browsing around the older and research projects suggests that they are
not currently usable with recent GHC (6.5+) - be that gph or existing
mpi bindings.
Is anyone actively using Haskell for cluster programming and
