兰姆达INet==========LambdaINet实现了一个基于交互网络的优化求值器Lambdascope[1],具有交互式图形界面,允许用户查看直接操纵交互网络。[1] 文森特·范·奥斯特罗姆(Vincent van Oostrom)、基斯·扬·范·德鲁伊(Kees-Jan van de Looij)、马里恩·兹维瑟洛德(Marijn Zwitserlood)、,Lambdascope,编程系统代数和逻辑研讨会(ALPS),2004年4月10日,京都变化=======*2014年9月1日星期二PDT-基于GLFW任务的新GUI,新布局算法。bump版本为0.2.0.0。*2009年9月15日星期二(美国东部夏令时)-修复OS X上的GUI;修复移动节点时的故障。将版本提升到0.1.2。*2009年9月14日(美国东部夏令时)周一-使用应用程序功能修复错误,将版本提升至0.1.1。用法=====在“cabal install”之后,只需键入“LambdaINet”即可启动应用程序。一次启动,按H键获得帮助,按ESC键退出。了解所有操作具体来说,你必须阅读Oostrom等人的上述论文。目前除了修改源代码外,无法加载输入程序,如果要更改启动程序,请尝试src/Main.lhs,或者1..9个预设程序。此时,对象语言支持带递归的lambda表达式,元组和原语,如数字、字符串和函数。侧面注释=========当我处理漏洞时,大部分代码在两周内完成2007年FRP的问题。因此,这确实是一项仓促的工作,无法保证正确性,尽管我尽量忠实于原稿我可以。在向公众发布这个应用程序之前,我只做了一些适度的清理,而代码本身在最初编写时也有少量文档记录。有些部分可能仍然有漏洞,比如从网络到术语的翻译;其他部分可能需要更多改进,如节点定位和线条布局算法。但我还是决定发布它--也许有些人哪里会发现它有用。开发===========请将错误报告或反馈转发给我(Paul Liupaul@thev.net),但是不要对及时修复bug抱太大希望。还需要帮助进一步开发LambdaINet,例如,它确实需要一种从单独的文件或标准输入读取lambda表达式的方法应该是一个简单的功能添加,但唉!我没有时间最近的将来我也会做这种事情。----上次修改时间:2009年9月14日星期一,作者:Paul Liu