For many programmers, Erlang program development remains a relatively primitive process in the sense that it only consists of firing up one's favourite editor, writing a program, compiling it, and running it.
Although there is a certain old fashioned charm in doing things this way, this style of programming is hardly adequate for modern, disciplined and easily maintainable Erlang program development. This talk will present how a suite of software tools can complement this process by automatically detecting bugs in Erlang programs, adding machine-checkable documentation that document the intentions of their programmers, automatically creating tests from this documentation, and revealing subtle concurrency errors. Cool tools that are well-known to Erlang community as well as some new ones will be presented.
Target audience: Erlang programmers with an interest to disciplined programming.
Talk objectives: Describe the proper use of software tools that aid Erlang programming and introduce some new ones.