Overview of Type Inference in F#
lorgonblog.wordpress.com