infinite-list
Infinite lists
https://github.com/Bodigrim/infinite-list
Version on this page: | 0.1 |
LTS Haskell 22.37: | 0.1.1 |
Stackage Nightly 2024-10-10: | 0.1.1 |
Latest on Hackage: | 0.1.1 |
infinite-list-0.1@sha256:4de250517ce75e128c766fbc1f23b5a778ea964e695e47f8e83e0f3b293091bf,2383
Module documentation for 0.1
- Data
- Data.List
infinite-list
Modern lightweight library for infinite lists with fusion:
- API similar to
Data.List
. - No non-boot dependencies.
- Top performance, driven by fusion.
- Avoid dangerous instances like
Foldable
. - Use
NonEmpty
where applicable. - Use
Word
for indices. - Be lazy, but not too lazy.
{-# LANGUAGE PostfixOperators #-}
import Data.List.Infinite (Infinite(..), (...), (....))
import qualified Data.List.Infinite as Inf
Prior art and inspiration
-
Data.Stream.Infinite
fromstreams
package:- Large dependency footprint, e. g.,
adjunctions
. - Provides dangerous instances such as
Foldable
. - No fusion framework.
- Large dependency footprint, e. g.,
-
Data.Stream
fromStream
package:- No fusion framework.
- No repository or issue tracker.
-
GHC.Data.List.Infinite
in GHC source tree:- Limited API, only to cater for GHC internals.
- Not available as a separate package outside of GHC.
Why no Foldable
or Traversable
?
The breakdown of members of Foldable
is as follows:
foldr
,foldr1
,foldMap
,fold
,toList
andnull
can be productive on infinite lists;foldr'
,foldMap'
cannot, because forcing an accumulator even to a WHNF makes fold non-terminating;foldl
,foldl'
,foldl1
cannot, because no left fold can;length
always diverges;elem
either returnsTrue
, or does not terminate, but never returnsFalse
;maximum
,minimum
,sum
andproduct
are unlikely to be productive, unless an underlyinginstance Ord
orinstance Num
is extremely lazy.
Altogether it means that code, polymorphic by Foldable
, cannot confidently work with infinite lists. Even a trivial refactoring can get you in a deep trouble. It’s better to save users from this pitfall and do not provide instance Foldable
at all. We do provide a right fold however.
Since there is no Foldable
, there could be no Traversable
. Even if it was not prohibited because of a missing superclass, there are only a few monads, which are lazy enough to be productive for infinite traversals. If you are looking for a traverse with a lazy state, use mapAccumL
.
Laziness
Operations, returning a data type with a single constructor, can be implemented in an extremely lazy fashion. Namely, always return the constructor before inspecting any of the arguments. For instance, note the irrefutable pattern matching in Data.List.NonEmpty
:
map :: (a -> b) -> NonEmpty a -> NonEmpty b
map f ~(a :| as) = f a :| fmap f as
Because of it forcing the result to WHNF does not force any of the arguments, e. g., Data.List.NonEmpty.map undefined undefined `seq` 1
returns 1
. This is not the case for normal lists: since there are two constructors, map
has to inspect the argument before returning anything, and Data.List.map undefined undefined `seq` 1
throws an error.
While Data.List.Infinite
has a single constructor, we believe that following the example of Data.List.NonEmpty
is harmful for the majority of applications. Instead the laziness of the API is modeled on the laziness of respective operations on Data.List
: a function Data.List.Infinite.foo
operating over Infinite a
is expected to have the same strictness properties as Data.List.foo
operating over [a]
. For instance, Data.List.Infinite.map undefined undefined `seq` 1
diverges.
Indexing
Most of historical APIs (such as Data.List
) use Int
to index elements of containers. This library makes another choice: namely, indices are represented by an unsigned type, Word
. This way the notorious partial function (!!) :: [a] -> Int -> a
becomes a total (!!) :: Infinite a -> Word -> a
.
An argument can be made to use an arbitrary-precision type Natural
instead of finite Word
. Unfortunately, this causes performance penalties since Natural
is represented by a heap object and cannot be easily unboxed. On any GHC-supported architecture the addressable memory is less than maxBound :: Word
bytes and thus it’s impossible to materialize a container with more than maxBound :: Word
elements.
Changes
0.1
- Initial release.