PropEr state machine testing by Max Nordlund

December 8, 2021

PropEr is a property testing library for Erlang. In this talk I’m going to take a deep dive into the state machine part. First how to use state machine as a design tool, then how to use PropEr to verify your implementation.

Max Nordlund
I work at Kivra, where the main language is Erlang, and main database is Riak. But before that I’ve worked professionally with JavaScripts for quite a few years. I introduces Promises at my first gig 2013, and haven’t looked back since. They are a lovely abstraction, and later I found out that they are in fact monads. Outside programming I’m a scout leader for youngsters 15-18. Working with kids, and young adults, really teaches you new perspective and to not take things for granted.

Check out more from the MeetUp Func Prog Sweden. Func Prog Sweden is the community for anyone interested in functional programming. At the MeetUps the community explore different functional languages like Erlang, Elixir, Haskell, Scala, Clojure, OCaml, F# and more.