History of Functional Programming Languages: Static Type Systems

Please download this (http://files.meetup.com/2794852/Location_Oase.pdf) description of the meetup location if you have never been there.

One year after presenting "History of Functional Programming Languages", Stephan Missura will focus on the history of static type systems.

Static ("strong") typing plays a very important role in F#: In the tradition of ML-based languages, F# infers types automatically, generalizes automatically, and supports special syntactic constructs such as discriminiated unions and pattern matching. In addition, F# features important type-related innovations such as type providers, units of measure, active patterns, unified syntactic support for abstract computations, and automatic generic type specialization via inlining.

The talk will put F#'s type system in a historic context.