Martin Janiczek

@jwoudenberg care to finish the bullet in your comment? :)

I'd recommend the `elm-verify-examples`, but not for example my `elm-architecture-test` right now. (I'd feel more confident if we let the situation around `Fuzz.andThen`, `test-update` etc. stabilize and converge into something...

For what it's worth, I [tried this too](https://github.com/Janiczek/elm-architecture-test/blob/master/src/ArchitectureTest.elm) a few months ago ([usage](https://github.com/Janiczek/elm-architecture-test/blob/master/examples/Tests/VendingMachine.elm)) and will have a talk ([draft](https://workflowy.com/s/CyZR.0rPFxMQwrw)) on this topic in ElmEurope. > 1. Is this a good...

What is my open question for this topic, is: Erlang's QuickCheck has tons of hooks (precondition, postcondition) for both during command generation and command execution. Do we need something like...

@mgold I tried implementing the orthogonality test (only certain Msg touches certain model part) and it seems hard to do "Msg fuzzer not containing this particular Msg" - the user...

@zkessin It would probably not be `State -> Fuzzer Msg` but `List Msg -> Fuzzer Msg`, because in Elm the tests don't have their own state machine that models the...

Ah, I understand. So this would open the possibility to test more of the "state space":  ie. if we wanted to test long-term interactions of `Dict` with our API,...

@zkessin I've come to your conclusion while trying to test `elm-todomvc`: Fuzzers of type `Model -> Fuzzer Msg` [1] would be useful for example in the `Delete Int` Msg -...

@rtfeldman Maybe I can use that! Will try later though. Yesterday I've [tried to implement](https://github.com/Janiczek/elm-architecture-test/commit/092610f5a1386a351edb7a06bfc59f3ac1114e41) the `Model -> Fuzzer Msg` type of fuzzers, and when it gets to shrinking, the...

Do you all think it would be good to have a "summary" blogpost / page / ... comparing these approaches on various codebases - SPAs, libraries (data structures etc.)? ie....