什么是“无点”样式（在函数式编程中）？

我最近注意到的一句话是“无点”风格的概念。

首先，有一个问题，还有这个问题。

然后，我发现他们在这里提到“可能值得讨论的另一个主题是作者对点自由样式的厌恶”。

什么是“免积分”风格？有人可以给出一个简洁的解释吗？它与“自动”咖喱有关系吗？

为了了解我的水平-我一直在教自己Scheme，并且编写了一个简单的Scheme解释器...我了解“隐式”的currying是什么，但是我不知道任何Haskell或ML。

只需查看Wikipedia文章即可获得您的定义：

隐式编程（无点编程）是一种编程范式，其中函数定义不包含有关其自变量的信息，而是使用组合器和函数组合而不是变量。

Haskell示例：

常规（您明确指定参数）：

sum (x:xs) = x + (sum xs)
sum [] = 0

无点（sum没有任何显式参数-只是+以0开头的折叠）：

 sum = foldr (+) 0

或更简单：g(x) = f(x)您可以编写，而不是g = f。

是的：它与currying（或类似函数组合的操作）密切相关。

无点样式意味着没有明确提到要定义的函数的参数，而是通过函数组合来定义函数。

如果您有两个功能，例如

square :: a -> a
square x = x*x

inc :: a -> a
inc x = x+1

如果要将这两个函数结合在一起进行计算x*x+1，则可以将其定义为“全点”，如下所示：

f :: a -> a
f x = inc (square x)

没有意义的替代方案是不谈论该论点x：

f :: a -> a
f = inc . square

一个JavaScript示例：

//not pointfree cause we receive args
var initials = function(name) {
  return name.split(' ').map(compose(toUpperCase, head)).join('. ');
};

const compose = (...fns) => (...args) => fns.reduceRight((res, fn) => [fn.call(null, ...res)], args)[0];
const join = m => m.join();

//pointfree
var initials = compose(join('. '), map(compose(toUpperCase, head)), split(' '));

initials("hunter stockton thompson");
// 'H. S. T'

参考

无点样式意味着即使存在并且正在使用代码，代码也不会明确提及其参数。

由于函数的工作方式，这在Haskell中有效。

例如：

myTake = take

返回一个带有一个参数的函数，因此除非您也想这么做，否则没有理由显式键入该参数。

这是TypeScript中没有任何其他库的一个示例：

interface Transaction {
  amount: number;
}

class Test {
  public getPositiveNumbers(transactions: Transaction[]) {
    return transactions.filter(this.isPositive);

    //return transactions.filter((transaction: {amount: number} => transaction.amount > 0));
  }

  public getBigNumbers(transactions: Transaction[]) {
    // point-free
    return transactions.filter(this.moreThan(10));

    // not point-free
    // return transactions.filter((transaction: any) => transaction.amount > 10);
  }

  private isPositive(transaction: Transaction) {
    return transactions.amount > 0;
  }

  private moreThan(amount: number) {
    return (transaction: Transaction) => {
      return transactions.amount > amount;
    }
  }
}

您可以看到无点样式更“流利”并且更易于阅读。