Its worth looking at the website https://www.microbit.co.uk/create-code to see how it can be coded. You can choose Python and JavaScript, looks like when you download it downloads a binary which you run.

This is very different to what we're used to. For tiny programs it is great, anything non-trivial might be difficult to debug.