I made the switch 3 year ago to GNU/Linux. It is free and better for software development than OSX (same order of magnitude) or Windows (by a lot). Microsoft is investing high in marketing now, though.