eval-to-self.clj 推导出一种正确的解