There is actually a C/C++ layer that supports the higher level languages known as the micro:bit runtime[0], which means you can also program the device using C/C++... Another level of progression for children.

[0] https://lancaster-university.github.io/microbit-docs/