是否可以定义中缀函数?

时间:2012-09-10 11:31:05

标签: javascript functional-programming coffeescript infix-operator

是否可以在CoffeeScript(或纯JavaScript)中定义自己的中缀函数/运算符?例如我想打电话

a foo b

a `foo` b

而不是

a.foo b

或者,当foo是全局函数时,

foo a, b

有没有办法做到这一点?

5 个答案:

答案 0 :(得分:17)

ES6支持非常Haskell / Lambda演算方式。

给定乘法函数:

const multiply = a => b => (a * b)

您可以使用部分应用程序定义加倍函数(省略一个参数):

const double = multiply (2)

你可以自己编写双重函数,创建一个四重函数:

const compose = (f, g) => x => f(g(x))
const quadruple = compose (double, double)

但实际上,如果您更喜欢中缀符号怎么办?正如Steve Ladavich指出的那样,你需要扩展原型。

但我认为使用数组符号而不是点符号可以做得更优雅。

让我们使用官方符号作为功能组合“∘”:

Function.prototype['∘'] = function(f){
  return x => this(f(x))
}

const multiply = a => b => (a * b)
const double = multiply (2)
const doublethreetimes = (double) ['∘'] (double) ['∘'] (double)

console.log(doublethreetimes(3));

答案 1 :(得分:3)

实际上将此作为答案添加:,这是不可能的。

It's not possible in vanilla JS

It's not possible in CoffeeScript

答案 2 :(得分:3)

你可以用sweet.js。参见:

  1. http://sweetjs.org/doc/main/sweet.html#infix-macros
  2. http://sweetjs.org/doc/main/sweet.html#custom-operators
  3. Sweet.js用宏扩展Javascript。

    它就像一个预处理器。

答案 3 :(得分:2)

这绝对不是中缀符号,但它有点接近:/

let plus = function(a,b){return a+b};

let a = 3;
let b = 5;
let c = a._(plus).b // 8

我认为没有人真的想要使用这个"符号"因为它非常丑陋,但我认为可能会做一些调整以使其看起来不同或更好(可能使用this answer here来调用函数"没有括号)

中缀功能

// Add to prototype so that it's always there for you
Object.prototype._ = function(binaryOperator){

  // The first operand is captured in the this keyword
  let operand1 = this; 

  // Use a proxy to capture the second operand with "get"
  // Note that the first operand and the applied function
  //   are stored in the get function's closure, since operand2
  //   is just a string, for eval(operand2) to be in scope,
  //   the value for operand2 must be defined globally
  return new Proxy({},{
    get: function(obj, operand2){
        return binaryOperator(operand1, eval(operand2))
    }
  })
}

另请注意,第二个操作数作为字符串传递,并使用eval进行求值以获取其值。因此,我认为代码将在任何时候操作数(也就是" b")的值没有全局定义时中断。

答案 4 :(得分:1)

Javascript不包含部分应用程序的函数或节的中缀表示法。但它带有更高阶的功能,这使我们几乎可以做任何事情:

// applicator for infix notation
const $ = (x, f, y) => f(x) (y);

// for left section
const $_ = (x, f) => f(x);

// for right section
const _$ = (f, y) => x => f(x) (y);

// non-commutative operator function
const sub = x => y => x - y;


// application

console.log(
  $(2, sub, 3),   // -1
  $_(2, sub) (3), // -1
  _$(sub, 3) (2)  // -1
);

正如您所看到的,在这种情况下,我更喜欢视觉名称$$__$。这是你能得到的最好的 - 至少使用纯Javascript / ES2015。