LambdaSki 简单的Lambda微积分到Ski编译器。 这是一个简单的程序,可将lambda演算表达式转换为sk组合器表达式。 需要构建Haskell平台和Megaparsec。 输出格式 可选参数用于确定输出格式,其中“ f”确定将调用项放在哪里,“ x”确定将自变量放在哪里。 例子: f(x)发出类似于s(k)(k) afx发出类似于aaskk输出 也可以在第二个和第三个参数示例中指定术语“ s”和“ k”: f(k) ab发出类似于a(b)(b) 语言 该语言有5种类型的术语: 变量: x lambdas: a => x 多参数Lambda: \abc -> x