Como um verdadeiro vetor pode ser implementado em Haskell?

Como um verdadeiro tipo de vetor pode ser implementado em Haskell? Para que algo seja um vetor, ele deve ser armazenado sequencialmente na memória, com O(1) acesso aleatório. Mas Haskell esconde seu gerenciamento de memória e seus tipos de dados descrevem árvores! Então, como você poderia expressar esse tipo de requisito?

Comentários

• Use as definições matemáticas para vetores verdadeiros. Aqui está ' uma biblioteca de espaço vetorial para você hackage.haskell.org/package/vector-space-0.8.7/docs/ …
• De onde vêm esses requisitos para o vetor? Eu conheço várias definições do termo ' vetor ' e apenas uma delas tem tais requisitos (C ++ ' s std::vector).
• Até certo ponto, da mesma forma como armazenar um valor no registro em, digamos, C ou C ++, ou você gratuitamente memória na linguagem GC – o compilador é livre para reorganizar os dados, colocar os valores no registro etc. ou expor as coisas por (extensões) [ tinyurl.com/ovvxtqt]/(libraries) [http://hackage.haskell.org/… aos programadores se eles realmente precisarem deles – mas presume-se que eles não ' se importam na maioria dos casos. De maneira semelhante, os programadores de Haskell não ' se preocupam na maioria dos casos se os dados são compactados na região sequencial da memória em vez de, por exemplo, eliminar a necessidade de avaliação por completo.