catch:Haskell 模式匹配分析检查器

时间:2024-07-06 10:51:54
【文件属性】:

文件名称:catch:Haskell 模式匹配分析检查器

文件大小:942KB

文件格式:ZIP

更新时间:2024-07-06 10:51:54

Haskell

欢迎来到捕捉 Catch 是我博士的一部分。 它是无人维护的,不太可能工作。 Catch 的最佳描述可从的出版物“Not All Patterns, But Enough - a automatic verifier for partial but enough pattern matching”和“Transformation and Analysis of Functional Programs”下获得。 如果程序在定义或案例替代中存在任何不完整(非穷尽)模式,则 Haskell 程序可能会在运行时失败并出现模式匹配错误。 Catch 工具是一个静态检查器,允许存在非穷举模式,但确保不会发生模式匹配错误。 不幸的是,版本不兼容意味着目前很难让 Catch 编译。 希望在某个时候可以将 Catch 移植到 GHC Core 上,并且 Catch 可以用于由 GHC 编译的任何程序。


网友评论