[Haskell] Haskell as a disruptive technology?
waldmann at imn.htwk-leipzig.de
Mon Mar 27 09:08:30 EST 2006
>> * Analysing and guaranteeing performance characteristics (time,
>> memory) is something we still can't do well with Haskell.
Seconded. I think all three of:
specification, prediction and post-morten analysis
of resource consumption of Haskell programs
are largely uncharted territory.
I don't see a widely accepted formal base (a resource calculus)
and that's probably why there is no tool support
(yes, I know about ghc -prof -auto-all).
Ultimately, there should be some refined type system
that allows to express and prove resource consumption guarantees.
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------
More information about the Haskell