相关疑难解决方法(0)

我正在用F#写一个lambda演算,但是我坚持实现beta-reduction(用形式参数代替实际参数).

(lambda x.e)f
--> e[f/x]

用法示例:

(lambda n. n*2+3) 7
--> (n*2+3)[7/n]
--> 7*2+3

因此,我希望听到一些关于其他人如何做到这一点的建议.任何想法将不胜感激.

谢谢!