YCombinator List Inversion in Erlang

gistfile1.txt

Eshell V5.9.1  (abort with ^G)
% The Y combinator allows recursion to be defined as a set of rewrite rules without requiring 
% native recursion support in the language.

c(y_comb).  % takes 2 params
{ok,y_comb}

(y_comb:y2(
    fun (R) ->
        fun
            ([H|T], L) -> R(T, [H|L]);
            ([],    L) -> L
        end
    end
))(" suolfillem", "music").   
"melliflous music"


% --------------
-module(y_comb).
-export([y2/1]).
 
y2(F) ->
  (fun (G) -> G(G) end)(
    fun (G) ->
      F(fun (X, Y) -> (G(G))(X, Y) end)
    end
  ).