José Valim is the creator of the Elixir programming language and member of the Rails Core Team. He graduated in Engineering in São Paulo University, Brazil and has a Master of Science by Politecnico di Torino, Italy. He is also the lead-developer of Plataformatec, a consultancy firm based in Brazil, and an active member of the Open Source community.
Introducing HDD: Hughes Driven Development
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.