The next two Elixir releases, v1.6 and v1.7, will include a code formatter and a property-based testing functionality as part of the standard library. The code formatter is built on top of document algebra, an idea introduced by Hughes in “The Design of a Pretty-Printing Library”, and property-based testing is based on the QuickCheck paper, by Claessen and Hughes.
In this talk, we will approach those two very useful features from the implementation perspective, learning what changed compared to the original papers.
José Valim is the creator of the Elixir programming language and the Director of R&D at Plataformatec, a consultancy firm based in Brazil. He is author of Adopting Elixir and Programming Phoenix as well as an active member of the Open Source community.