文献资料 完整文档可在 构建纯功能的应用程序和库 构建堆栈安全的纯功能应用程序和库，这些应用程序和库支持并行和顺序计算，其中声明与解释分离。 Freestyle鼓励在之上构建的程序，这些程序在应用程序的边缘进行解释，以确保效果在受控环境中定位和执行。 用Freestyle构建的应用程序可以解释为解释器目标类型支持的任何运行时语义。 import freestyle . free . _ free trait Database { def get ( id : UserId ) : FS