从文法中生成随机术语（简单类型化的lambda演算）

Question

data Vtype = Tint
           | Tbool
           | Tfun Vtype Vtype
           deriving (Eq, Data)

data Expr = Vi Int
          | Vb Bool
          | Vv Name
          | App Expr Expr
          | Lam Vtype Name Expr
          deriving (Eq, Data)

我的第二个问题是，我知道有许多可用于Java和Python等语言的基准测试，但我试图为lambda演算寻找类似的基准测试，但没有找到任何东西。是否有机会为STLC或非类型化的lambda演算提供基准测试？

Answer 1

我真的不知道有什么图书馆可以重复使用。该库可能还会锁定绑定构造的特定方法，如De Bruijn、Names、(P)HOAS或bound。

不过，我知道Haskell中的一个实现确实随机地生成封闭的、类型良好的术语:https://github.com/gabriel439/haskell-morte-library/blob/3c61df86985a7ccf97fe0765deac73f06b12c476/test/closedwelltyped.hs#l38

也许这就足以让你动身了？