Entiendo el uso del signo de dólar (único) en bibliotecas de JavaScript populares como jQuery y Prototype. También entiendo el significado del signo de dólar doble en PHP (variables variables). Dean Edwards usa el doble signo de dólar en su famosoAñadir evento() Función de JavaScript. Aquí hay una excepción que contiene el uso del signo de dólar doble:

function addEvent(element, type, handler) {
  // assign each event handler a unique ID
  if (!handler.$guid) handler.$guid = addEvent.guid++;
  // create a hash table of event types for the element
  if (!element.events) element.events = {};
  // create a hash table of event handlers for each element/event pair
  var handlers = element.events[type];
  if (!handlers) {
    handlers = element.events[type] = {};
    // store the existing event handler (if there is one)
    if (element["on" + type]) {
      handlers[0] = element["on" + type];
    }
  }
  // store the event handler in the hash table
  handlers[handler.$guid] = handler;
  // assign a global event handler to do all the work
  element["on" + type] = handleEvent;
};
// a counter used to create unique IDs
addEvent.guid = 1;

Por lo que he leído, el signo de dólar solo tiene un significado oficial en JavaScript para las herramientas de generación de código, aunque esa norma se ignora en gran medida hoy en día debido al uso generalizado de los signos de dólar en las bibliotecas de JavaScript mencionadas.

¿Alguien puede arrojar alguna luz sobre este uso del doble signo de dólar en JavaScript?

¡Muchas gracias!