Bom dia, Amigo.
Os produtos da Apple continuam com seu preço lá em cima, mesmo depois de muitos anos de uso. Mesmo um Macbook mais antigo, em bom estado, com caixa e todos os acessórios originais bem cuidados pode valer sim uma boa grana. O Macbook 2012 Pro que você citou está valendo na casa dos 2,7k até 4k aqui em Florianópolis-SC. Vale ressaltar que o valor depende muito do estado do Mac e dos acessórios. Mas mesmo um todo amassado você encontra por 2,5k e a galera compra. Incrível!
Sobre a sua escolha, eu também uso para estudo e programação e discutimos essa questão do 8x16GB em outro tópico recentemente. Pelo que me recordo, o 16GB está em torno de 3k a mais que um 8GB. Aí vai depender muito do seu uso e da sua necessidade. Eu tenho um 8GB e trabalho com desenvolvimento. Me supre muito bem e ainda sobra memória e processamento. As vezes esquenta um pouco, mas nem se compara com o I5 8GB da Lenovo que possuo NOVO com 2 coolers gigantescos. O Mac dá um banho. Acho que pra pagar 3k a mais por 8GB a mais, o cara tem que realmente precisar muito da máquina e depender completamente dela pra exercer sua função. Ou, ter muito dinheiro, rsrs.
Sobre o modelo Air ou PRO, sinceramente, não tenho o PRO pra te fazer um comparativo. Mas posso te dizer que o Air atende muito bem, e, se eu fosse comprar um PRO (o que pretendo) seria só por conta do tamanho da tela.
A tela retina é espetacular, mas o tamanho de 13 polegadas, mesmo com a alta resolução que oferece, é um espaço muito pequeno para codificar. Se você tem ou pretende adquirir um monitor externo, isso não vai incomodar. Mas quando você estiver na rua com ele, e precisar codificar, te digo por experiência: 13 polegadas é pequeno e nessa área você precisa abrir muita coisa ao mesmo tempo. Então eu iria de MacBook PRO 16' se tivesse dinheiro.
Como não tenho necessidade dos 16GB, comprei um com 8GB e assim que sobrar uma grana pretendo revendê-lo pra pegar o PRO 16".
Grande abraço!