State-based testing with quickcheck-lockstep (Haskell Unfolder #44) скачать в хорошем качестве

State-based testing with quickcheck-lockstep (Haskell Unfolder #44)

Many Haskell programmers will be familiar with property based testing of pure functions (for those who are not, various episodes of the Haskell Unfolder have discussed this: #4, #21, #38 and #40). Property based testing for stateful systems ("IO code") is however much less well-known, which is a pity as it is just as useful! In this episode we will demonstrate how we can use `quickcheck-lockstep` to verify the responses we get from a simple stateful API; as we will see, all of the lessons from property based testing for pure functions can be applied in this stateful setting also. Links: Repository with the code: https://github.com/well-typed/unfolder Link to the EurekaPROM chip (not sponsored): https://www.eurekasound.com/eurekaprom (I use the chip in IO mode: https://www.eurekasound.com/eurekapro...)