It&#x27;s a decent list but not enough. The real trick is being general purpose enough to handle low-level up to programming in the large while being comprehensible and easy for compiler to work with. In my field, highly-assured INFOSEC, you also want correctness and traceability for security purposes.<p>I wrote an essay on a layered, bottom-up approach to constructing such a language here if anyone is interested:<p><a href="https:&#x2F;&#x2F;www.schneier.com&#x2F;blog&#x2F;archives&#x2F;2014&#x2F;05&#x2F;friday_squid_bl_423.html#c5828584" rel="nofollow">https:&#x2F;&#x2F;www.schneier.com&#x2F;blog&#x2F;archives&#x2F;2014&#x2F;05&#x2F;friday_squid_...</a><p>I&#x27;m also interested in feedback on my approach. It tries to solve probably a dozen problems at once with some basic principles and three, compatible languages.