E le frecce?

Question

Leggendo vari tutorial sulle varie classi tematiche di Haskell, troviamo cose come Monoid, Functor, Monad e così via - che hanno dozzine di istanze. Ma per qualche ragione, quando raggiungiamo lo Arrow, ci sono solo due istanze: funzioni e monadi. In entrambi i casi, l'utilizzo dell'istanza Arrow è meno potente e più difficile rispetto all'utilizzo diretto della cosa sottostante.

Qualcuno ha interessante esempi di frecce? Sono sicuro che ci deve essere un po ', ma non ho mai trovato nessuno scritto su di loro ...

Answer 1

HXT, una libreria che viene utilizzata per l'analisi di XML, è un ottimo esempio per l'utilizzo di frecce (avere guarda quante volte la parola Arrow si presenta nei nomi dei moduli di questo pacchetto!). Dovresti dare un'occhiata al grande tutorial: http://adit.io/posts/2012-04-14-working_with_HTML_in_haskell.html

Ma è anche bene avere il concetto di freccia per le funzioni. Ad esempio il codice

((+1) &&& (*2)) 3 -- result is (4,6) 

seguente solo funziona, perché (->) è un'istanza della classe freccia (L'operatore &&& è definita Control.Arrow).

Grazie allo arrow syntax si ha anche un ottimo strumento per scrivere calcoli complessi in Haskell (funziona anche per funzioni, monadi e filtri XML in HXT).

Answer 2

Mi piace pensare a Arrow s come grafici aciclici diretti componibili. Ad esempio, una freccia di tipo:

SomeArrow (a, b, c) (d, e, f) 

... si può pensare come un grafico che ha tre archi entranti di tipo a, b e c e tre archi uscenti di tipo d, e e f .

Utilizzando questa interpretazione, le operazioni di composizione di categoria per Arrow s sono come concatenazione orizzontale per i grafici, che collega i bordi insieme:

(.) :: SomeArrow b c -> SomeArrow a b -> Some Arrow a c 

... dove a, b e c possono essere essi stessi tuple. Analogamente, id è solo il grafico identità che inoltra tutte archi entranti per archi uscenti:

id :: SomeArrow a a 

L'altra operazione chiave è (***) che è come concatenazione verticale dei grafici:

(***) :: Arrow a b -> Arrow c d -> Arrow (a, c) (b, d) 

si può pensare che come mettere due grafici fianco a fianco, combinando i loro bordi di input e i bordi di output.

Quindi Arrow si verificano comunemente quando si lavora con grafici aciclici diretti digitati. Tuttavia, il motivo per cui di solito non li vedi spesso perché la maggior parte delle persone associa mentalmente i grafici a strutture di dati non tipizzate e ad alte prestazioni.