14、融合Processing与Racket及全共享多线程制表的批量评估

融合Processing与Racket及全共享多线程制表的批量评估

一、Processing与Racket的结合

1. 类型与宏的引入
   • 在类型检查绑定的过程中，为解决相关问题，我们在类型层次结构中引入了新类型，类型检查器在检查这些绑定时会忽略该类型。
   • 由于Processing原语和内置类是在Racket中实现的，我们还面临为这些绑定关联类型信息的问题。为此，我们创建了一个简单的宏，通过将类型信息添加到全局环境，让类型检查器能正确验证类型是否兼容。
2. 渲染能力的实现
   • Processing的绘图范式与OpenGL的传统推/弹矩阵风格相似。为在系统中提供渲染能力，我们使用了Rosetta。它提供的设计抽象不仅能让我们在OpenGL渲染中生成设计，还能让我们访问多个CAD后端。
   • 要在Racket中实现Processing的绘图原语，需要进行自定义接口调整，因为并非每个Processing原语都能直接映射到Rosetta中。此外，Rosetta还能让我们提供原始Processing环境中没有的额外绘图原语。
3. 互操作性
   • 语言模块与宏系统 ：开发源到源编译器的一个优势是可以组合用不同语言编写的库。Racket平台鼓励使用和开发不同语言以满足程序员的需求，提供了一组可应用于语言许多特性的扩展机制。Racket的语言模块和强大的卫