>No Javascript não tem diferença de tipos. Todas as variáveis são instanciadas com a palavra-chave `var`. 

###JavaScript tem sim um sistema de tipos

Quando você armazena um valor em uma variável, esse valor tem um tipo. O tipo de um dado valor nunca muda, mas o valor guardado numa variável pode ser trocado. Qualquer variável pode conter um valor de qualquer tipo, a qualquer momento, e por isso não faz sentido declarar o tipo da variável. O tipo é uma característica dos valores, e as variáveis (pense nelas como lugares onde se guardam valores) são agnósticas quanto a eles. Em outras palavras, as variáveis não são amarradas a nenhum tipo, mas sempre contêm valores que pertencem a algum dos tipos disponíveis.

###Os tipos

Cinco dos seis tipos em JavaScript têm valores *primitivos*: Undefined, Null, Boolean, String e Number. Valores primitivos como `undefined`, `null`, `true`, `"texto"` e `10` são imutáveis. Undefined e Null são tipos especiais que possuem um só valor cada, respectivamente `null` e `undefined`. 

O sexto tipo é Object, que inclui arrays, funções e outros. Objetos são conjuntos de propriedades, que podem guardar valores de qualquer um dos tipos já citados. Propriedades podem ser acrescentadas a um objeto ou removidas dele a qualquer momento, e valores de propriedades também podem ser alterados. Portanto, objetos são mutáveis.

Existem ainda outros tipos que a especificação define para uso próprio, para descrever como a linguagem deve funcionar. Eles não estão disponíveis para os usuários da linguagem (nós), nem precisam ter correspondentes diretos na implementação.


###Valor *versus* referência

Eu não conheço bem o C#, mas pelo que entendi sobre *value types* e *reference types*, é possível traçar um paralelo com o JavaScript. Deixe de lado a questão do local de alocação, que discutirei mais adiante, e foque no comportamento dos tipos quando um valor é atribuído a uma variável ou passado para uma função ou método. 

Pode-se considerar que os tipos primitivos do JavaScript funcionam como os *value types*, enquanto que os objetos funcionam como os *reference types*. Vou explicar com um exemplo:

    var meuObjeto = {};

Aqui cria-se um objeto, que fica guardado na variável `meuObjeto`. Mas será mesmo? O que é guardado nessa variável é um valor do tipo Object. O objeto em si (com suas propriedades, métodos, etc.) fica guardado em algum lugar da memória, gerenciado pelo interpretador da linguagem. E o valor do tipo Object é uma *referência* a esse objeto.

Dizer que objetos são referências quer dizer apenas que com a referência em mãos você pode acessar o objeto, e **não** que a referência seja um ponteiro para o local onde o objeto está armazenado na memória. Essa distinção é muito importante. Pense na referência como um valor como qualquer outro. Agora considere o seguinte exemplo:

    var a, b;
    a = {};
    b = a;
    b.umaPropriedade = "um valor";
    b == a; // true
    a.umaPropriedade; // "um valor"
    b = { outroObjeto: true };
    b == a; // false
    
Aqui, `b` não é "uma referência a `a`"; `b` contém uma referência a um determinado objeto, e `a` contém **outra** referência **ao mesmo objeto**. Assim, pode-se alterar uma propriedade desse mesmo objeto por meio de `a` ou `b`. Mas não se pode sobrescrever o objeto que está em `a` por atribuição de um novo valor a `b`. O que `b = { outroObjeto: true }` faz é somente armazenar em `b` uma nova referência, a um outro objeto. O primeiro objeto continua existindo, e a referência contida em `a` ainda aponta para ele.

Esse mesmo conceito também serve para entender como os objetos são passados para funções:

    function teste(obj) {
        obj.novaProp = "foo";        // o objeto fora da função é afetado
        obj = { outraProp: "bar" };  // o objeto fora da função NÃO é afetado
    }
    var o = {};
    teste(o);
    o.novaProp;  // "foo"
    o.outraProp; // undefined

Isso quer dizer que em JavaScript não existe passagem "por referência". O objeto é passado por valor, só que o valor passado em `teste(o)` é uma referência.

>Então como funciona o gerenciamento de memória no Javascript? Existe essa diferença, de algumas variáveis serem armazenadas diretamente na pilha e outras serem armazenadas no heap somente tendo uma referência na pilha?

Ao programar em JavaScript, tenha em mente que o acesso à memória fica a cargo do interpretador da linguagem. Não se manipula a memória diretamente em JavaScript. A especificação da linguagem sequer menciona como a memória deve ser tratada, isso fica integralmente a cargo da implementação. Por isso não é possível dizer onde cada dado fica armazenado sem conhecer bem como cada interpretador funciona. Eu não conheço isso, então não posso afirmar nada a respeito.

Mas se você está preocupado com o uso de memória pelo seu JavaScript, lembre-se do seguinte:

 - Existe um *garbage collector* nos *engines* de JavaScript
 - Esse *garbage collector* é executado em momentos arbitrários (geralmente quando o interpretador não está ocupado com o seu código)
 - O *garbage collector* só liberar a memória ocupada por um objeto se não houver nenhuma referência "viva" a esse objeto.
 - Ou seja: cuidado com objetos capturados em *closures*, eles podem acabar ocupando memória eternamente!