制作串联Haskell变体：应用程序和组合的优先级

Question

我正在学习串联语言的基础知识，其最初的想法是函数名串联与函数组合相同，而不是像Haskell那样是函数应用程序。

Joy、Forth或Factor是postfix，这意味着基于堆栈，但也有一些前缀级联语言，如OM。

我想知道Haskell变体在理论上是否可以通过交换（甚至相等）组合优先级（现在9）和函数应用优先级（现在10）而成为一种串联语言。

如果Haskell中的值只是零参数函数，为什么函数应用程序不同于函数组合？函数应用程序不是和用零参数函数组合一样吗？。

是否可以通过定义具有不同优先级的新组合运算符和应用程序运算符，并假定没有括号的简单串联是组合，以一种简单的方式使解释器或预编译器将串联语法转换为Haskell语法？。我认为这只是一个语法问题，我错了吗？，这将避免许多在Haskell中必须使用括号或$运算符的情况。还是一个更根本的问题，不仅仅是语法和优先级？

提示：假设Haskell中的每个函数和运算符都是前缀，我们可以忘记这篇关于中缀表示法和各种“句法糖”的练习。

Answer 1

如果Haskell中的值只是常量函数，为什么函数应用程序和函数组合不同？函数应用程序和用常量函数组合不是一样吗？。

Haskell中的值不是“常量函数”。它们也不是“空元函数”。Haskell中唯一的函数是那些类型包含函数箭头构造函数->的函数。

常数函数是给定任何输入，返回相同输出的函数。

alwaysOne x = 1

map alwaysOne [1..5] == [1, 1, 1, 1, 1]

map (const 1) [1..5] == [1, 1, 1, 1, 1]

foo x y = x + y

foo x = \y -> x + y

foo = \x -> \y -> x + y

我想这只是句法的问题，我错了吗？

级联语言的基本思想是，程序表示函数，将两个程序级联起来就会得到一个表示这些函数组合的程序。因此，如果f是一个函数，g是一个函数，那么fg是一个程序，它表示我们将在Haskell中编写的内容为g。f。在抽象代数术语中，从句法么半群到语义么半群之间存在一个同态。这就是语法的问题。

然而，还有一个语义问题。这些函数必须操纵它们之间隐式传递的程序状态，而实际程序的状态是复杂的--因此在实践中，级联语言倾向于使用表示值堆栈的元组，因为这在实际硬件中实现简单有效。理论上，程序状态可以是任何东西，例如映射或集合。

我认为Haskell的语义是这里真正的绊脚石，虽然您可以将串联DSL嵌入到Haskell，但您需要一种串联语言才能使其用于日常编程。