Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Design by Contract in Elixir: “Let It Crash” Meets “It Shouldn’t Crash”

Design by Contract in Elixir: “Let It Crash” Meets “It Shouldn’t Crash”



Elba Sanchez explains what Design by Contract is, what can be achieved using it and how it can be used in any kind of projects, from personal to mission-critical software.


Elba Sanchez is a software engineer at Ride Messaging team where she works everyday using Elixir. She is also part of a growing tech community of women in Colombia named Codies. She currently works developing a project that extends the Elixir language adding support for contract programming as part of her master thesis.

About the conference

The Erlang Factory is an event that focuses on Erlang - the computer language that was designed to support distributed, fault-tolerant, soft-realtime applications with requirements for high availability and high concurrency. The main part of the Factory is the conference - a two-day collection of focused subject tracks with an enormous opportunity to meet the best minds in Erlang and network with experts in all its uses and applications.

Recorded at:

Jul 16, 2016