系统功能码 , , 和从功能性I / O系统或“新生的乐趣”中实现了UFO世界和宇宙。 发表在国际函数式编程会议(ICFP)2009上。 链接至论文: : 我的补充: 集成到有效的演示中,修复了错别字和错误。 更新了所有处理程序,以适应“静止”状态(当控件转移到其他世界时)和“停止”状态(以便可以通过按q停止世界) 在纸上写有“ ;; ... ...更多测试用例...”的地方添加了测试 使用launch-many-worlds / proc定义了一个主要功能,该功能接受世界名称列表。 首先,它启动服务器,然后并行生成所有客户端。 将整个内容作为Racket脚本写在#lang