Come abbinare un vettore vuoto in Haskell?

Question

dire che voglio implementare la funzione di lunghezza per le liste usando il pattern matching, allora avrei potuto fare qualcosa di simile:

length' :: (Num b) => [a] -> b 
length' [] = 0 
length' (_:xs) = 1 + length' xs 

Posso fare qualcosa di simile con Vector s?

Answer 1

I vari tipi di libreria vector della libreria Vector sono tipi opachi, che non espongono i loro costruttori di dati e pertanto non è possibile eseguire il modello su di essi.

ci sono modi per aggirare questo, come ViewPatterns (come il commento di user2407038 parla), ma certamente non lo fanno desidera utilizzare questi con vettori, perché si sarebbe probabilmente buttare via il vantaggio di utilizzare vettori .

Il culmine della biblioteca vector è che è attuato sulla base di due concetti:

1. vettori si materializzano come dimensione fissa, matrici di memoria contigui, che forniscono molto meglio frazione memoria rispetto singolo liste o alberi collegati;
2. Un numero elevato di operazioni vettoriali viene implementato in termini di flussi fusibili le cui operazioni vengono compilate in loop che non allocano memoria per i vettori intermedi.

(1) significa che un vettore non ha una "testa" naturale "coda" come elenchi do-liste sono letteralmente una coppia di una testa e una coda. Se dovessi utilizzare una sorta di schema di visualizzazione per imporre una struttura di testa + coda sopra un vettore, dovresti creare in modo efficace un elenco a collegamento singolo degli elementi del vettore, che probabilmente attiverebbe l'allocazione della memoria per ciascun nodo del vettore. visualizza il tipo

E se si stesse utilizzando ViewPatterns per visualizzare un vettore come ciò che è effettivamente un singolo elenco collegato, perché non convertire semplicemente il vettore in un elenco?

In ogni caso, a causa dei punti di progetto di cui sopra, con vector si vuole veramente aderire il più possibile al the operations provided by the library itself, perché essi sfrutteranno le caratteristiche prestazionali della biblioteca.

Sospetto che ci siano buone probabilità che testare la dimensione di un vettore possa essere un'idea non ottimale in molti contesti. Ad esempio, nel codice come questo:

example :: Vector something -> Vector somethingElse 
example as 
    | Vector.null as = ... 
    | otherwise  = ... 

... mi aspetterei (ma non l'ho verificato!) Che questo avrebbe costretto il vettore as da materializzato in modo da poter verificare se è vuota o no, dove se il test può essere eliminato o spostato da qualche altra parte è possibile che le operazioni nel bit "..." possano essere fuse con il contesto in cui viene utilizzato example.