用python的map/reduce函数实现int()功能，即字符串转换成数字