Erlang学习过程写的一些代码