Stok Footage

Continually experimenting with new ideas and techniques — Reconstructing, Developing, Modernising.

Archive for July 2017

A Young Person’s Guide to Dialyzer — Fixing a Straightforward Problem

Sometimes a project’s external dependencies change their interface, and if our code either isn’t tested properly or has paths which are never run then you have a problem (or three 😉.) This post will show how dialyzer can help reveal… Continue Reading →

A Young Person’s Guide to Dialyzer — How to Ignore Some Errors

With my current level of understanding there are a couple of types of message you can “ignore” when you start your exploration. “no local return” Warnings A message like Function name/arity has no local return reported for the line containing the… Continue Reading →

A Young Person’s Guide to Dialyzer

Introduction There’s a way to add useful types and helpful type checking to the eminently practical sensible language Erlang and other languages, like Elixir,  which use the Beam virtual machine. As a practical chap who wants typing to help me… Continue Reading →