我正在寻找一种快速，跨平台的方案方言，具有良好的FFI并支持操作系统级并行处理，而不是＆＃34;绿色线程＆＃34;只要。一些高级概念（如工作窃取方法，事务内存或actor）会很棒，但是操作系统级线程的简单接口也足够了。 R7RS小支持也不错。
有没有这样的实施？
注意：有几个类似的问题（关于SRFI-18，多核），但它们已经很老了，所以也许有些东西发生了变化。到目前为止，我已经看过了：Guile - 没有足够的跨平台，Schemik - 不再维护？，Chicken - 将是我最喜欢的，但仍然只有绿色线程，Racket - 期货非常有限且地方看起来像黑客攻击。