咖喱镜片接近这个话题的想法组合器DSL - (3.-11.4.) 修改monadic方法以使用非确定性。论文中的测试示例 - (9.4.) 具有不确定性的测试示例。SPJ演示文稿中的测试示例 - (10.4.) 弄清楚如何使用Spicey。使用Spicey进行Web编程的测试示例 - (11.4.) formlenses - (14.-23.4.) 阅读。为WUI/Spicey框架调整formlens想法 - (16.-17.4.) 使用Formlenses作为Spicey框架的博客示例(22.-23.4)。put定义和生成对应的get - (24. - 23.05) 天真的实现+基本组合器。