https://bjoernkw.com/2016/03/13/load81/
"Because the C64 boots directly into BASIC the main user interface of the machine is an easily accessible programming environment."
Though I only realised it on a subliminal level back then, booting your computer and being able to program it right from the boot prompt with immediate feedback was one of the magical properties of the C64 and to some extent the Amiga. In a way you could say these computers offered the first general purpose REPL.
This property is severely lacking from every mainstream OS nowadays, which of course is intentional because for the most part these operating systems target consumers and hence quite understandably try to hide perceived complexity at all costs. Ironically, the environment that comes closest to these early desktop programming environments is Microsoft Excel. In fact, my father (whom I'm incredibly grateful for introducing me to computers at a young age) although not a programmer by profession used to develop business applications on his C64 while just a few years later he resorted to Excel for the same tasks, which in some ways of course made things easier but also was limited in what you could do with it.
I'm quite sure a modern, well-designed programming environment in that vein would be conducive to both business application development and education.
Sometimes in attempting to hide complexity we introduce further complexity. For example, many modern IDEs make some tasks more difficult than they need to be, when editing a text file would suffice (and provides more programmatic flexibility).
I think that it probably is too harsh to boot into a terminal, but to make a terminal readily available for users with a friendly programming interface would not hurt - and this exists in some form today but still lacks the magic of QBASIC/etc.
It has been cloned:
http://www.red-lang.org/p/about.html
Both are open-source. Red has a Windows GUI and the OSX GUI is close. The language ranges from high-level DSLs to system programming.
On one hand, I want a language as simple as possible, with as few paradigms as possible, and as close to the metal as possible (or at least the ability to compile it down to something with C-equivalent performance). This would encompass the core of the language.
On the other hand, the language would have a wide variety of built-in libraries for UI, access to graphics hardware, networking, input, etc. The language's paradigms would also be easily extensible, perhaps as an added layer of compilation / meta programming.