Proxy
A JavaScript metaprogramming object introduced in ES6 that creates a proxy for a target object, allowing interception of fundamental operations such as property access, assignment, and function invocation.
Timeline (last 90 days)
GHC's PolyKinds extension allows type variables to have polymorphic Kinds, enabling types such as Proxy to adapt to any Kind.
Proxy is defined as data Proxy (t :: k) = Proxy, where the Kind of t can be any Kind, so both Proxy Int and Proxy Maybe are legal.
Proxy can intercept and customize [[Call]] through the apply trap, and intercept [[Get]] through the get trap, thereby making non-function objects appear callable.
All Facts (3)
GHC's PolyKinds extension allows type variables to have polymorphic Kinds, enabling types such as Proxy to adapt to any Kind.
50%UnverifiedProxy is defined as data Proxy (t :: k) = Proxy, where the Kind of t can be any Kind, so both Proxy Int and Proxy Maybe are legal.
50%UnverifiedProxy can intercept and customize [[Call]] through the apply trap, and intercept [[Get]] through the get trap, thereby making non-function objects appear callable.
50%