我想买个4000元左右的笔记本，主要用于编程，希望有心人士推荐一下，谢谢。