Eventil - Find Tech Events
Official mobile app
FREE - In Google Play
Official mobile app
FREE - In App Store

History of Functional Programming Languages: Static Type Systems

Mar 13, 2014 · Zürich, Switzerland

Please download this 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.

Event organizers

Are you organizing History of Functional Programming Languages: Static Type Systems?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews