[Haskell-cafe] Using type-level programming to tag functions with time and space complexity

Jeremy Shaw jeremy.shaw at linspireinc.com
Thu Oct 18 18:02:06 EDT 2007


Oleg, Chung-chieh Shan, and others have done some work close to this
area. On this page, see the "Monads parameterized by time" section:


Also see this page:


The new type family stuff being introduced in to GHC should hopefully
go a long way towards making this type of code more readable.

Not sure how easy or hard it would be to enforce the particular
properties you mentioned, but the above references might give you some
idea how to proceed.


At Fri, 19 Oct 2007 09:00:49 +1300,
Daniel McAllansmith wrote:
> I was wondering if anyone had done work on tagging functions at the type level 
> with their time or space complexity and, if it's even feasible, calculating 
> the complexity of compound functions.
> Any pointers?
> Cheers
> Daniel
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list