Erlang：どのパターンマッチングがより効率的（リスト）ですか？私はこのように定義された関数があり、「実用プログラミングErlangの」を通じてつもりです

Question

：私は最初の試合で興味のあるものを

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

、すなわち"\r\n\r\n" ++ T - このようなパターンと同様のものとの性能差があります、私が思いつきました：[13,10,13,10|T]？それとも同等ですか？

私はそれが自分で確認できる（おそらく）ことがわかっていますが、の場合はに違いがありますが、その理由は何ですか？

ありがとうございます！

Answer 1

"\r\n\r\n" ++ Tは、[13,10,13,10|T]の構文砂糖です。それは同じことを実行する必要があります。もし何か間違っていれば;-)