ACCU Cambridge’s 2nd talk will be given by Ric Parkin of DisplayLink on the evening of 2nd August...

Synopsis 

memset( &buffer, sizeof(buffer), 0 );

Compilers are very good at spotting syntax errors but cannot help with syntactically correct code that does the ‘wrong’ thing.

Starting with real world examples of such problems, we’ll look at how strongly-typed languages provide a range of techniques - from the humble typedef to dimension-aware type systems, to RAII and ’smart’ types enforcing behaviour - that encode meaning into the type system. These types can be considered as a domain specific language dialect that makes the application programmer more productive, with the compiler catching semantic errors and generating housekeeping code for you.

The talk takes place at DisplayLink, Cambridge UK from 19:00. Entry is free and open to non-ACCU members. Numbers are limited though so please pre-register (not with me!). More details at the ACCU Cambridge web site.