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

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?)