[Haskell-cafe] Type-Marking finite/infinte lists?

[Henning Thielemann]

On Sat, 15 Sep 2007, Joachim Breitner wrote:

> today while mowing the lawn, I thought how to statically prevent some
> problems with infinte lists. I was wondering if it is possible to
> somehow mark a list as one of finite/infinite/unknown and to mark
> list-processing functions as whether they can handle infinte lists.

Thanks for asking this. I had the same question recently. :-)

I think we should put the answers to the Wiki, Category:FAQ. (Is '2 times' 
frequent?)