[Haskell] Haskell as a disruptive technology?

Johannes Waldmann 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.

best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------



More information about the Haskell mailing list