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)
The official vercel-proxy package provides a Proxy application, in which handlers can be registered by path in a decorator style (e.g., @proxy.route("/old-blog/{slug}")).
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 (4)
The official vercel-proxy package provides a Proxy application, in which handlers can be registered by path in a decorator style (e.g., @proxy.route("/old-blog/{slug}")).
50%UnverifiedGHC'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%