¿Puede un valor estar en el montón y una referencia en la pila? Explique su punto de vista.

Sí, este es un comportamiento estándar.

• Pila: Almacena variables locales y punteros (referencias) a objetos. La vida útil de los datos en la pila está vinculada al scope (ámbito) de la función o bloque de código. El acceso a los datos es rápido.
• Heap: Almacena objetos creados dinámicamente. La vida útil de los datos en el heap no está vinculada al scope y se gestiona mediante el mecanismo de gestión de memoria (ARC en iOS). El acceso a los datos es más lento que en la pila.

Cuando creamos un objeto de clase en Swift (por ejemplo), el objeto en sí se coloca en el heap. La variable que declaramos para almacenar ese objeto, en esencia, es una referencia (puntero) a los datos en el heap y se almacena en la pila.

Ejemplo en Swift:

// MyObject es una clase (tipo de referencia), creada en el heap
class MyObject {
    var name: String
    init(name: String) {
        self.name = name
    }
}

func myFunction() {
    // myObject - variable en la pila que almacena la referencia
    // a la instancia de MyObject en el heap
    let myObject = MyObject(name: "Test")
    // ... uso de myObject ...
} // myObject (referencia) se elimina de la pila al salir de la función
  // La instancia de MyObject en el heap es destruida por ARC cuando ya no hay referencias fuertes

De manera similar en Objective-C:

// MyObject es una clase (tipo de referencia), creada en el heap
@interface MyObject : NSObject
@property (nonatomic, strong) NSString *name;
- (instancetype)initWithName:(NSString *)name;
@end

@implementation MyObject
- (instancetype)initWithName:(NSString *)name {
    self = [super init];
    if (self) {
        _name = name;
    }
    return self;
}
@end

void myFunction() {
    // myObject - variable en la pila que almacena la referencia
    // a la instancia de MyObject en el heap
    MyObject *myObject = [[MyObject alloc] initWithName:@"Test"];
    // ... uso de myObject ...
} // myObject (referencia) se elimina de la pila al salir de la función
  // La instancia de MyObject en el heap es destruida por ARC cuando ya no hay referencias fuertes

En ambos casos, la variable myObject está en la pila, y la instancia del objeto MyObject está en el heap. La variable myObject contiene la dirección en memoria donde se encuentra el objeto en el heap.