If he wants a MicroBit, then that might be reason enough to get one.
I don't remember our Micro Bit ever getting used in anger, despite having a motor control board for it and a clear project that I meant to do. One day...
I would take a good look at Arduino, if not for now then as a next step. There are lots of cheap knockoff versions as well as the official Arduino boards, and lots of kits you can buy from sensor packs to complete robot kits if your budget goes that far. They can get you flashing LEDs, reading sensors and driving motors with a gentle introduction to C++ with a ton of tutorials available.
https://www.amazon.co.uk/dp/B01D8KOZF4/
My youngest son is now at university studying AI and Robotics in a computer science department, and the first year is Arduino based.
The Raspberry Pi is cool, and later ones have the grunt to do vision processing and other such basic AI work, but at a cost and that might be a tad advanced for now.