Optional Type Specification in Erlang

Presenter: Andreas Pauley

Erlang is a dynamically typed language, but it does allow programmers to optionally declare types.
But what benefit do you get by doing this?

In this talk I explore Erlang types together with various tools in the Erlang ecosystem that support types.

Dialyzer is a static code analysis tool that uses any types you were kind enough to specify.

Proper is a QuickCheck-inspired property-based testing tool for Erlang. One of its interesting features is the ability to generate random test data using the supplied type specifications of functions.

As a playground for testing and showing these ideas, I have created a library that converts ID numbers to Erlang types (still a work in progress):


Join or login to comment.

4 went

Our Sponsors

  • House 4 Hack

    House 4 Hack is providing us with an awesome venue

  • O'Reilly

    O'Reilly offers member book discounts and review copies of their books.

People in this
Meetup are also in:

Sometimes the best Meetup Group is the one you start

Get started Learn more

We just grab a coffee and speak French. Some people have been coming every week for months... it creates a kind of warmth to the group.

Rafaël, started French Conversation Group

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy