summaryrefslogtreecommitdiff
blob: 317b99f5cc7f3b3b7fc71ca035c53a7d8d942f39 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<maintainer type="project">
		<email>haskell@gentoo.org</email>
		<name>Gentoo Haskell</name>
	</maintainer>
	<use>
		<flag name="representable">Define Representable instance from adjunctions package</flag>
	</use>
	<longdescription>
		There are plenty of memoizing libraries on Hackage, but they
		usually fall into two categories:
		
		* Store cache as a flat array, enabling us
		to obtain cached values in O(1) time, which is nice.
		The drawback is that one must specify the size
		of the array beforehand,
		limiting an interval of inputs,
		and actually allocate it at once.
		* Store cache as a lazy binary tree.
		Thanks to laziness, one can freely use the full range of inputs.
		The drawback is that obtaining values from a tree
		takes logarithmic time and is unfriendly to CPU cache,
		which kinda defeats the purpose.
		
		This package intends to tackle both issues,
		providing a data type &#39;Chimera&#39; for
		lazy infinite compact streams with cache-friendly O(1) indexing.
		
		Additional features include:
		
		* memoization of recursive functions and recurrent sequences,
		* memoization of functions of several, possibly signed arguments,
		* efficient memoization of boolean predicates.
	</longdescription>
</pkgmetadata>