Cómo crear una matriz Haskell a partir de una función

Question

Para fines de almacenamiento en caché, quiero crear una matriz, que asigna los valores de entrada de la función a los valores de salida. Yo sé, que mi función se utilizará sólo en este rango específico, pienso en algo como esto:

MyType = ... deriving (Ix) 

myFunction :: MyType -> foo 

myCache = createArrayFromFunction (start,end) myFunction 

Es esto posible o sólo debo pensar "no funcional" y no hay otra solución. Necesito arreglos, porque necesito O (1) acceso a los miembros y conozco su longitud desde el principio.

Answer 1

Si lo que desea es crear una memoria caché, a continuación, puedes utilizar listArray y map, siempre y cuando usted tiene una lista de todos sus índices:

myCache :: Array MyType Foo 
myCache = listArray (start,end) . map myFunction $ range (start,end) 

I asumido que MyType tiene una instancia Enum aquí; si no lo hace, necesitará alguna otra forma de generar una lista de entradas válidas, que depende de su tipo. Como señaló Reid Barton, esto es para lo que range es.

Otra opción, si desea presentar una función para el usuario, sería

myInternalFunc :: MyType -> Foo 
myInternalFunc mt = (complex calculation) (using mt) 

myFuncCache :: Array MyType Foo 
myFuncCache = listArray (start,end) . map myFunction $ range (start,end) 

myFunction :: MyType -> Foo 
myFunction = (myFuncCache !) 

Entonces no habría exportar myInternalFunc de su módulo; probablemente tampoco exporte myFuncCache, pero podría imaginar que lo necesite. Si no se encuentra en un módulo, puede poner myInternalFunc en un let o where -block dentro de myFuncCache. Una vez que haga esto, myFunction mt solo hace una búsqueda en caché, y también lo es O (1).

Answer 2

Si está buscando matrices, también considere Vector. Además de la fusión y la poderosa función de empalme, una diferencia importante que vale la pena señalar es que todos los vectores están indexados. Usando esta biblioteca su función de generación es:

generate :: Int -> (Int -> a) -> Vector a