系统功能码 ， ， 和从功能性I / O系统或“新生的乐趣”中实现了UFO世界和宇宙。 发表在国际函数式编程会议（ICFP）2009上。 链接至论文： : 我的补充： 集成到有效的演示中，修复了错别字和错误。 更新了所有处理程序，以适应“静止”状态（当控件转移到其他世界时）和“停止”状态（以便可以通过按q停止世界） 在纸上写有“ ;; ... ...更多测试用例...”的地方添加了测试 使用launch-many-worlds / proc定义了一个主要功能，该功能接受世界名称