Il MacOS è basato su UNIX, così come lo GNU/Linux.
Il sistema operativo UNIX fu riscritto quasi totalmente in C ai primordi dell'apertura del mercato informatico che stravolse quasi totalmente.
Anche Windows e altri sistemi operativi sono scritti in C/C++, tuttavia questo non ha molto a che fare con la programmazione, nel senso che se devi imparare a programmare lo puoi fare su qualsiasi sistema operativo che abbia un compilatore o interprete del linguaggio che vai ad utilizzare, quindi lo puoi fare su Windows, Unix, Linux, Mac, ecc.
E' bene che, da futuro ingegnere informatico quale sarai (come me!), ti avvicini anche ai sistemi basati su UNIX, ci sono esami in cui la sua conoscenza di base è indispensabile, lo incontrerai sicuramente nel tuo corso di studi, quindi ti consiglio lo GNU/Linux e per la precisione la distribuzione Ubuntu http://www.ubuntu-it.org/, gratuita e a dir poco ottima.
Inutile dare giudizi sui sistemi operativi perchè dovresti imparare a programmare per più piattaforme possibili (ma non è essenziale) e se il committente un giorno ti chiede di progettare e scrivere un programma che giri su Windows devi farlo su Windows (ma tu non sarai un programmatore, bensì un ingegnere, quindi non ti preoccupare più di tanto). Stesso discorso per gli altri sistemi, da qui capisci che alla fine quando devi interfacciarti con un determinato sistema operativo devi "avvicinarti" ad esso e scendere a livelli "più bassi" di programmazione, ma alle volte puoi scrivere codice OS-indipendent, certo non potrai interagire con tutte le funzionalità del sistema operativo.
Sicuramente un giorno tutte queste affermazioni ti saranno più chiare, comunque bada bene che difficilmente il tuo compito un giorno sarà scrivere un programma, bensì al massimo solo progettarlo (alla fine un Ingegnere Informatico può fare innumerevoli cose discostandosi anche di parecchio dall'informatica). Ciò non toglie che devi imparare lo stesso a programmare, anche perchè è bellissimo! :)
Prova lo GNU/Linux! Ciao!