Join us on the 19th to hear Rich Morin talk about Dialyzer and Typespecs at Shippo!

We are also looking for another speaker, so if you'd like to give a talk please reach out to the organizers! Or if people would be interested in giving lightning talks shout it out in the comments!

Schedule 🕣

6:30 Doors open, food, networking
7:00 Talk begins

Talk abstract 📝

Dialyzer works by detecting conflicts between a function's usage and its type specification. Errors are reported in a detailed (if sometimes murky) report. Dialyzer can detect a broad and configurable range of type errors. Type information can be refined incrementally, tightening the constraints on data types and usage. Custom data types can be made arbitrarily precise, defining multiple layers of structure and type information.

Using Elixir's Typespec attributes (e.g., `@spec`, `@type`), a project can document how its internal interfaces use data types. The attributes are located in the working code base, typically next to the functions they document. They are also folded into ExDoc's output (e.g., API documentation, online help). This gives developers a convenient and (mostly) reliable set of reference information upon which to base additions and changes.

Speaker 🗣️

Rich Morin (rdm@cfcl.com) has been programming for five decades. These days, he tends to use Ruby for short scripts and Elixir for major projects. Last Spring, he decided to add Typespecs to Pete's Alley, a Phoenix-based web site for the disabled community. In doing so, he learned a lot about Dialyzer.

Call for speakers 🙏

We are looking for more speakers for future meetups. Please signup here if you're interested in speaking. http://erlexsf.com/call-for-speakers/