Open pierrenodet opened 4 years ago
There is examples on the internet to use discipline and tagless final : https://www.iteratorshq.com/blog/tagless-with-discipline-testing-scala-code-the-right-way/
But is it possible to check if the production-interpreter (not a test-interpreter) is lawful (if we can define laws for our algebras) ?
https://www.youtube.com/watch?v=mkQLU7OzqYM is just perfect
There is examples on the internet to use discipline and tagless final : https://www.iteratorshq.com/blog/tagless-with-discipline-testing-scala-code-the-right-way/
But is it possible to check if the production-interpreter (not a test-interpreter) is lawful (if we can define laws for our algebras) ?