我正在寻找两种（一种？）语言。其中一个是主机，能够运行一些“环境”，第二个是可以用来编写在该环境中运行的“代理”的脚本。
一些细节：
主机应该能够运行多个“代理”（嵌入式语言线程），理想情况下能够限制每个线程一次执行的指令数量（尽管欢迎更复杂的控制方式）
嵌入式线程应该只能访问主机显式公开的对象
嵌入式线程应该被隔离。没有共享内存，所有通信都通过主机进行
嵌入式语言应该相当简单，具有动态类型
托管语言应该是相当高级的
性能不是主要问题
我在考虑 Python 是嵌入 Lua 的主机，例如Lunatic Python或一些 JVM 语言（Scala / Groovy ？），但我不确定嵌入式线程真正隔离的可能性（参见 2、3）。所以我正在寻找任何想法、框架、成功的实现等......
我认为您列出的条件不是很严格，您将找到大量符合您的六个要求的主机/线程脚本语言对。
所以我最重要的建议是选择目标用户最喜欢的语言。
有几种方法可以解决这个问题。如果您决定开始选择宿主语言，那么我认为您有以下选择：
C/C++：如果您的意图是对线程语言有更多的选择自由，那么拥有 C 或 C++ 主机将为您提供最多的选择，因为大多数解释脚本语言都是用 C/C++ 编写的并且具有简单的嵌入机制进入 C/C++ 应用程序。线程语言的选择可以是 Lua、Javascript、Python、Ruby、PHP、Basic、Scheme、Pascal、Lisp 等等。
Java：使用 Java 作为宿主语言，您可以使用少量的嵌入友好的脚本语言。这是一个清单。
.NET：如果你打算在 Windows 上运行，我只会使用它，否则我会避免它。与 Java 一样，您会发现可以嵌入到 .NET 应用程序中的解释器列表。
别的东西：如果您不喜欢 C/C++ 或 Java 作为宿主语言，那么您必须决定您喜欢哪种宿主语言，但无论选择哪种方式，嵌入式的选项都非常有限语。您建议将 Python 作为可能的宿主语言，我认为这是一个不错的选择。不过，我建议不要在 Python 上使用 Lua，如果您需要在语言 VM 级别进行调试，那可能是调试的噩梦。相反，我可以提供两个建议：（1）也使用 Python 作为线程语言，这样你就可以在整个系统中拥有一个很好的统一语言；(2) 找到一种脚本语言，它具有用 Python 编写的本机解释器（我知道的并不多）。除了 Python，您可以使用 Ruby、PHP 或任何其他主要的主机脚本语言，但在所有情况下，您都可以使用
现在，您可以先选择嵌入式语言，然后再找到可以嵌入该语言的宿主语言，而不是寻找宿主语言。您建议 Lua 作为嵌入式语言，这也是一个非常好的选择。如果你打算使用 Lua，那么我认为 C 或 C++ 应该是你的宿主语言，因为这会给你最好的嵌入体验。
总而言之，我推荐以下两种选择语言的方法之一：
(a) 选择一对以宿主语言实现嵌入式语言解释器的语言。示例：Lua 与 C++、Javascript 与 C++、Python 与 C++、Scheme 与 C++、Jython 与 Java、JRuby 与 Java、Rhino 与 Java 等。
或者
(b) 为主机和线程选择相同的高级脚本语言，并在没有嵌入式脚本的统一平台上工作。示例：Python 和 Python、Lua 和 Lua、Ruby 和 Ruby 等。
祝您搜索顺利！
你也可以通过它的SBCL实现来使用Common Lisp 。
我知道这个问题现在已经有几年了，但我推荐使用ObjectScript语言。
ObjectScript，简称OS，是一种新的编程语言。它是免费的、跨平台的、轻量级的、可嵌入的和开源的。它结合了多种语言的优点，包括：JavaScript、Lua、Ruby、Python 和 PHP。操作系统具有 Javascript 的语法、lua 的“多结果”功能、Ruby 的语法 shugar 以及 PHP 和 Ruby 的魔术方法 - 甚至更多！
这里的一个很好的例子是SnapScript，它可以在任何 Java 兼容的环境中运行。除了标准的 JRE，它还可以在 Android（Dalvik 和 ART）上运行，无需任何修改。
IDE实际上管理一个用于热执行的代理池。