recursive value x$5 needs type的原因是使用了一个类型不确定的变量，例如
val (id, name) = (id, getName(id))
其中id是个变量，其值还不确定， 就在getName(id)方法上使用.。例子不合理，但是一般这个报错就是代码写错了。
