con*_*tor 6 design-by-contract perl6
它被列为除了Eiffel和Spec#之外的维基百科上具有本机DbC支持的语言,但我在文档或测试套件中找不到任何提及.
检查Block Phasers,特别是PRE和POST相位器.我没有使用它们,自从我读了埃菲尔书以来已经有25年了,但它们看起来对我来说很重要.
的callsame和PRE移相器在测试S04-移相器/预post.t.我看到至少有一个错误TODO.
如果您查看文档,尝试使用它们(可能使用在线P6评估程序)并报告回来,那么我们可以看到您对它们的看法,听到您是否遇到过TODO'd或其他任何错误,并决定做什么:
维基百科页面显示它列出了"本地实现大多数DbC功能的语言".据推测,"最"限定词是主观的.P6本机实现所有(或"大多数")DbC功能吗？如果没有,它可能需要从维基百科页面中删除.
除非我们认为P6确实DbC声称是假的,否则我们可能需要在doc和doc索引中添加'DbC'和'Contract by Contract'.(据推测,你搜索了其中一个或两个,没找到匹配,这就是导致你认为你找不到它们的原因,对吧？)
我们还需要一些示例POST,OO::Actors无论它们是否被官方认为是DbC功能.但我们已经知道,从某种意义上来说,尽管很多人都有贡献,但是P6已经消除了wzoo,其中大部分仍未被记录为官方p6doc的一部分.还有很多事要做!如果你能想出了使用一对夫妇非常好的,简单的例子PRE和POST,也许是从你在烤测试中看到的发展,这将是壮观.:)
| 归档时间： |
|
| 查看次数： |
274 次 |
| 最近记录： |