[Haskell-cafe] Type-Marking finite/infinte lists?
lemming at henning-thielemann.de
Mon Sep 17 15:16:01 EDT 2007
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'
More information about the Haskell-Cafe