Cum poate fi implementat un adevărat Vector în Haskell?

Cum ar putea fi implementat un tip Vector adevărat în Haskell? Pentru ca ceva să fie un Vector, trebuie să fie stocat secvențial în memorie, cu O(1) acces aleatoriu. Dar Haskell își ascunde gestionarea memoriei, iar tipurile sale de date descriu copacii! Deci, cum ați putea exprima acest tip de cerință?

Comentarii

• Utilizați definițiile matematice pentru vectori adevărați. Aici ' o bibliotecă de spațiu vectorial pentru dvs. hackage.haskell.org/package/vector-space-0.8.7/docs/ …
• De unde vin acele cerințe pentru Vector? Cunosc mai multe definiții ale termenului ' vector ' și doar unul dintre ele are astfel de cerințe (C ++ ' s std::vector).
• Unii se extind în același mod ca și cum se stochează o valoare în registru în C sau C ++, sau liber memorie în limbaj GC – compilatorul este liber să rearanjeze datele, să plaseze valorile în registru etc. sau să expună lucrurile prin (extensii) [ tinyurl.com/ovvxtqt]/(libraries) [http://hackage.haskell.org/… pentru programatori dacă au într-adevăr nevoie de ele – dar presupunerea este că nu le pasă ' în majoritatea cazurilor. În mod similar, programatorii Haskell nu ' nu au grijă, în majoritatea cazurilor, dacă datele sunt împachetate în regiunea secvențială a memoriei în loc de, de exemplu, eliminând în totalitate necesitatea evaluării.