It's a different league to your usual BASIC variants and scales up very well to large applications and even down to system programming.
It's completely unique and people could learn a lot from how little time it takes to knock out something useful, fast and powerful in it.
I also developed symbolic execution and partial verification systems for it, and that helped confirm that our systems were appropriate for the context in which they were used.
I used to work for a defence contractor who avidly programmed everything in ADA with verified compilers and mathematically proved algorithms.
Stuff still broke because the algorithms and designs were wrong. That particular problem is far more problematic than type constraints.
Regarding BBC BASIC, it is strongly typed but all casts and conversions are implicit so you need to know what it's going to do:
REM win
p%=4;q%=4;r%=p%/q%;PRINTr%
REM fail
p%=4;q=4.0;r%=p%/q;PRINTr%
The earlier has no cast, the latter does.When it goes wrong, it's not usually the code that's gone phut: