And what, if anything could it learn from the past 30 years of computer science research?
Simply put, it would look a lot like PureScript. PureScript is most of what we've learnt about programming language design in the place where we need the most help.
What PureScript is
How to dive in to modern