Get the high end Air.
It is more important to have hardware support than it is to have hardware speed.
I've got a CS degree and I do 3d graphics programming. So from my perspective it is important that the hardware supports OpenGL/OpenCL. How fast that support is doesnt matter. As long as the code builds and runs with hardware acceleration. I wasn't graded on framerates, I was graded on whether or not the damn thing actually builds and runs successfully.
I would not recommend the 13 pro even though the i7 is clocked higher. Back when I was in college I lugged around a heavy ass laptop because it had a dedicated ATi GPU. If the Air existed back then I would have gotten that instead without even thinking about it.
A hike across a large campus means every pound in your bag increases the physical stress exponentially.
Its not a matter of "manning up" and carrying a pro around. Dont work hard, work
smart.
Hell one time I had to give a demo of this particle system i wrote in DirectX. I didn't have the laptop with the ATi card yet so I literally lugged my full desktop tower across campus. Everyone laughed about it heh.
Get the air. I would even recommend you look at the 11" air. But I am biased because I just bought an 11" myself
One last thing, Xcode rocks. Don't lock yourself down to one platform. Learn Eclipse and Visual Studio too. They all have pros and cons. Visual has the best debugger, Xcode doesnt have DLL-hell, and eclipse is pretty good for Android development. Just my opinion there.
Get ready for discrete math to kick your butt lol. Actually its not that bad.
Edit: I would get the i7 option for better multithreaded performance. And 8GB of ram too. so I would recommend an i7/8GB/256GB+ SSD. The SSD size is important because you will probably want to use bootcamp at some point. I doubt every teacher will accept xcode projects as assignments.
11 or 13, totally up to user preference. Go to an apple store and try both models. Good news is the keyboard is the same size on both
