진정한 벡터를 Haskell에서 어떻게 구현할 수 있습니까?

Haskell에서 진정한 벡터 유형을 구현하려면 어떻게해야합니까? 무언가가 벡터가 되려면 O(1) 랜덤 액세스를 사용하여 메모리에 순차적으로 저장되어야합니다. 그러나 Haskell은 메모리 관리를 숨기고 데이터 유형은 트리를 설명합니다! 그렇다면 이러한 요구 사항을 어떻게 표현할 수 있습니까?

설명

• 진 벡터에 대한 수학적 정의를 사용하십시오. 여기 ' hackage.haskell.org/package/vector-space-0.8.7/docs/ …
• Vector에 대한 이러한 요구 사항은 어디에서 왔습니까? ' 벡터 '라는 용어에 대한 여러 정의를 알고 있으며 그중 하나에 만 이러한 요구 사항이 있습니다 (C ++ ' s std::vector).
• C 또는 C ++에서 값을 레지스터에 저장하는 방법과 동일한 방식으로 확장하거나 GC 언어의 메모리-컴파일러는 자유롭게 데이터를 재 배열하고 값을 레지스터에 넣거나 (확장자) [ tinyurl.com/ovvxtqt] / (libraries)를 통해 항목을 노출 할 수 있습니다. [http://hackage.haskell.org/… 프로그래머에게 정말로 필요한 경우-하지만 대부분의 경우에는 상관하지 않는다고 가정합니다 '. 비슷한 방식으로 Haskell 프로그래머는 평가의 필요성을 완전히 제거하는 대신에 데이터가 순차적 인 메모리 영역에 압축되어 있는지 대부분의 경우에 신경 쓰지 않습니다.

' / ul>