zypeh
says to
YSITD
也没有啦，其实 F# 已经智能到能够处理递归需要的规约求值