addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

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):

https://github.com/apauley/erlcdt


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:

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