Erlang: quel appariement est plus efficace (listes)?

Question

Je vais par « Pragmatique programmation Erlang » où il y a une fonction définie comme ceci:

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

Ce qui me intéresse est le premier match, à savoir "\r\n\r\n" ++ T - est là différence de performance entre un modèle et un semblable, que je suis venu avec: [13,10,13,10|T]? Ou sont-ils équivalents?

Je sais que c'est une question très simple et que je pourrais (probablement) vérifier moi-même, mais si il y a une différence, je voudrais savoir pourquoi c'est le cas.

Merci!

Answer 1

"\r\n\r\n" ++ T est juste la syntaxe du sucre pour [13,10,13,10|T]. Il devrait effectuer la même chose. Sinon, il y a quelque chose qui ne va pas ;-)