Erlang: quale abbinamento di pattern è più efficiente (liste)?

Question

sto attraversando "pragmatico Programming Erlang" dove c'è una funzione definita in questo modo:

split("\r\n\r\n" ++ T, L) -> {reverse(L), T}; 
split([H|T], L) -> split(T, [H|L]); 
split([], _) -> more. 

Che mi interessa è prima partita, vale a dire "\r\n\r\n" ++ T - c'è differenza di prestazioni tra un tale modello e uno simile, che mi è venuto in mente: [13,10,13,10|T]? O sono equivalenti?

So che è una domanda molto semplice e che potrei (probabilmente) controllare da solo, ma se c'è una differenza, mi piacerebbe sapere perché è così.

Grazie!

Answer 1

"\r\n\r\n" ++ T è solo zucchero di sintassi per [13,10,13,10|T]. Dovrebbe funzionare allo stesso modo. Se non c'è qualcosa di sbagliato ;-)