Question

Javascript声称是一种功能性语言，但它肯定不是一种感觉。它缺乏大多数使功能语言整洁的东西，其中一个是点自由风格。幸运的是，我们在ES6中获得了箭头函数和代理，所以我自己实现了使用代理实现无点样式：

let pfree = ctx => f => new Proxy (f, {
  has: (t, p) => p in t || p in ctx
, get: (t, p) => {
    let k = p in t? t[p]: ctx[p];

    if (k instanceof Function) return (
      function fetch (_k) {
        return pfree (ctx) ( x => ( q => q instanceof Function
                                       ? fetch (q)
                                       : t (q)
                                  ) ( _k(x) )
                           )
      })(k);

    return k;
  }
});

相当大的负担，但是你可以使用它来完成这个工作：

let p = pfree (global) (x => x)

with (p) {
  add  = x => y => x + y
  succ = add (1)
  five = succ . add (2) . succ (1)
}

console.log(five) // 5

当您执行更高阶函数时会出现问题：

with (p) {
  flip  = f => x => y => f (y) (x)
  Const = a => b => a
  dot   = f => a => b => f(a(b))
  ap    = f => g => x => f (x) (g (x))

  zero  = flip (Const)
  succ  = ap (dot) 

  num   = n => n (x => x + 1) (0) // The number n is represented by running a function n times over some input

  console.log ( num ( succ ( succ ( succ (zero) )))) // 3
  console.log ( num . succ . succ . succ (zero) )    // [Function]
}

我无法真正理解为什么......

想法？

Answer 1

问题很简单：

succ . add(2)

与

无法区分

(succ . add) (2)

使用JavaScript属性访问规则，但您希望它们做不同的事情。

解决方案是不可能的（我敢说），但您可以通过引入自定义分组运算符来解决此问题：

group(succ . add) (2)

您还应该在分配给p的属性时调用它。您应该能够完成以下工作：

addFour = succ . add (2) . succ
five = group(succ . add (2) . succ) (1)
fiveAgain = addFour (1)

console.log ( group(num . succ . succ . succ) (zero) )    // 3

高阶代理滥用

1 个答案: