Please log in to watch this conference skillscast.
In this talk John Hugh's shows us how QuickCheck helped us to model Riak’s behaviour, improving understanding and revealing the occasional bug.
Riak is one of the new breed of no-SQL database management systems, which has begun to replace relational databases for some applications. Riak is a distributed key-value store, inspired by Amazon’s Dynamo, designed for applications where scalability, low latency and high availability are critical. Riak uses replication to provide fast access to data, even when multiple nodes or parts of the network fail. It supports concurrent access to the same data by multiple clients, even when the network is partitioned. All of this makes it very hard to test.
YOU MAY ALSO LIKE:
- Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
- Ben Evans' Deep within the JVM (in London on 2nd - 3rd December 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Knowledge Graph Applications in the Legal Profession & Fashion Industry (in London on 22nd October 2019)
- Code Kata: Yilin Wei - Optics with Monocle (in London on 22nd October 2019)
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
- Keynote: Haskell is a Great Host (SkillsCast recorded in October 2019)
John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck, which is written in Erlang. He was also deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current languages.