月薪20k以上的高级程序员需要学习哪些技术？