I agree that the BBC Micro would be a great learning computer. The gap between a hobby program and commercial software is small - you don't get the training wheels feeling as with some other environments. Unfortunately the Micro:bit is not self hosting and not at all a suitable replacement for the BBC Micro, in my opinion.