Haskell对象观察调试器
特征
观察基本类型(Int、Bool、Float等) 观察有限和无限结构(列表、树、, 数组等)。 观察函数的使用模式。 观察一元动作,包括IO动作。 挂钩用于为新的基础类型和使用的 定义的类型。 可编程浏览功能-可对结构浏览器进行编码 并接通电源。 包含使用 Haskell-like语法。 支持线程安全观察。 支持对异常的观察(在某些编译器上)。
示例
main=运行O ex2 ex2=打印 .反向 (注意“中间”) .反向 $ [0..9]
[0,1,2,3,4,5,6,7,8,9] --中间物 9 : 8 : 7 : 6 : 5 : 4 : 3 : 2 : 1 : 0 : []
main=运行O ex9 ex9=打印$observe“foldl(+)0[1..4]”foldl(+)0[1..4]
10 --文件夹(+)0[1..4] { \ { \ 0 1 -> 1 , \ 1 2 -> 3 , \ 3 3 -> 6 , \ 6 4 -> 10 } 0 (1 : 2 : 3 : 4 : []) ->10个 }
ghci>runO$print$observe“sum xs”(\xs->sum xs)[0..2][0..]
三 --总和xs { \ (0 : 1 : 2 : []) _ -> 3 }
历史
关键链接
HOOD文件
A.吉尔,” 调试 H(H) 通过观察中间数据进行askell 结构 ,“in 2000年ACM SIGPLAN会议记录 W公司 Haskell研讨会,美国大学技术报告 诺丁汉 , 2000.