Hey we don't we ever use an "infinite list" type? data Inf a = Inf { infHead :: a, infTail :: Inf a } Sometimes you know you have an infinite list, why are we not encoding that fact as a type
Replying to @chris__martin
We do. It's called Stream in the libraries iirc.
3:41 PM - 7 Jan 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.