我已經決定檢查FParsec並嘗試爲λ表達式編寫解析器。事實證明，渴望使得遞歸解析變得困難。我該如何解決這個問題？ 代碼： open FParsec
type λExpr =
| Variable of char
| Application of λExpr * λExpr
| Lambda of char * λExpr
let rec FV = funct
我需要解析簡單的DSL語言類似如下： import "library.txt"
def <int, bool, byte> main(int param1, bool param2)
{
var a = f4(param1); // or var d = f1(f2(f3(f4(param1))));
var b = f3(a);
var c = f2(b);