概念JavaScript Proxy
Proxy
ES6 引入的 JavaScript 元编程对象，用于创建目标对象的代理，可拦截属性访问、赋值、函数调用等基本操作。
时间轴 (近 90 天)
10月17日
GHC的PolyKinds扩展允许类型变量拥有多态Kind，使得Proxy等类型可以适配任意Kind。
待验证50%
10月17日
Proxy的定义为data Proxy (t :: k) = Proxy，其中t的Kind可以是任意Kind，因此Proxy Int和Proxy Maybe都合法。
待验证50%
10月16日
Proxy 可以通过 apply 陷阱拦截并自定义 [[Call]]，通过 get 陷阱拦截 [[Get]]，从而让非函数对象在外观上可调用。
待验证50%