Tôi không hoàn toàn chắc chắn làm thế nào để yêu cầu này, nhưng là có một cách để hiển thị cấu trúc của một thunk?Bất kỳ cách nào để "hình dung" một thunk/chức năng? Hoặc làm thế nào để xem một chức năng cho một đối số chung
Ví dụ
f x = x + 2
g x = 3 x
compo x = f (g x)
ans = compo 5
-- result: (3 * 5) + 2 = 17
Có cách nào tôi có thể "nhìn thấy" các thunk cho ans
? Như trong, tôi có thể thấy quá trình giảm beta cho compo
hoặc giống như biểu mẫu "chung".
Tôi muốn xem, ví dụ:
compo n
--> (3 * n) + 2
Như trong, nếu tôi có một hàm compo x
, tôi muốn xem rằng nó bị phân hủy để (3*n)+2
.
Ví dụ, trong Mathematica:
f[x_] := x+2;
g[x_] := 3*x;
compo[x_] := f[g[x]];
compo[n]
(%
--> (3 * n) + 2
%)