Using Ceylon's Type System to write reliable, extensible software
This blog post assumes a little familiarity with Ceylon… to learn the basics, take the Tour of Ceylon or at least skim through my Learn Programming in Ceylon series, which is targeted at beginners, before reading this.