Personally I think OS X peaked in 2010, and the keyboard debacle sealed the deal for leaving. But fair enough.
The terminal you'll be using is Windows Terminal. It's good, and has a lot of attention from Microsoft.
What language are you coding in?
Personally a Surface Book 3, non Alcantara is the best dev machine. They all have great keyboards though. If you want to save money Surface Laptop 2 is on sale.