用於測試Functors，Applicatives和Monads的工具？

Question

我創建了一個實現Functor，Applicative和Monad的類型。 我想驗證他們是否遵守每個法律。 但是在嘗試手動執行此操作時，它變成了一項艱巨而艱巨的任務。

所以，我想知道的是：

如何自動測試每個班級的法律是否正確實施？

Answer 1

但是在嘗試手動執行此操作時，它變成了一項艱巨而艱巨的任務。

一種方法是用Coq這樣的語言陳述你的法律並正式證明它們。 例如，John Wiegley在Coq中證明了管道法 。

如何自動測試每個班級的法律是否正確實施？

除非你證明，否則你無法得到有力的保證。 也許你可以使用像Quickcheck這樣的庫檢查他們的財產。