proper list 和 improper list 的区别以及 improper list 会出现的问题

-module(test).
-compile(export_all).
-compile({inline,[server_id/0]}).


server_id() ->
               2396.
			   
ttt([H|T])->
	io:format("[H|T]~n"),
	ttt(T);
ttt([])->
	io:format("[]"),
	ok.

正常匹配 也就是 proper list的情况

7> test:ttt([1,3|[]]).  
[H|T]
[H|T]
[]ok

不正常匹配， 参数是一个improper list,那么最后一个元素会出现找不到匹配的情况

6> test:ttt([1,3|3]).
[H|T]
[H|T]
** exception error: no function clause matching test:ttt(3) (test.erl, line 8)

函数 ttt 会最后匹配一个[] 也就是 proper list 的最后一个 匹配

length([1,2])  =:= 2       true

length([1,2|[]])  =:= 2    true