me the file and remove the .gz-extension.
I hope this helps.
Herbert Graeber
sufficient,
because imperative and pure functional lazy evaluation of the same algorithm
may give very different results.
A fair comparison should include the best algorithm suitable for each
language and much more different inputs for the programs, including very
large ones.
Herbert Graeber
> Good idea. Andrew Kennedy wrote a whole thesis about this, and a
> paper or two besides.
>
> http://research.microsoft.com/~akenn/
Unfortunalty this work concentrates on extending a programming language
with units. It would be better to extend Haskell with more universal
features that makes the
I have taken a look on these papers at
http://www.cl.cam.ac.uk/~ajk13/
http://ftp.cs.chalmers.se/users/pub/rittri/dimpolyrec.ps.Z
But I discovered, that there is one important difference to the C++ example
I posted. The type system is extended to allow inference of deimensions. The
C++
I have found another useful application of types with value parameters in
C++. I have seen an example of using types to check for proper use of
physical units. I have found this very useful. But I haven't found a way to
express this in haskell. It would be nice to have a type system, that
supports
