Curry Lenses 硕士论文

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