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

History of Functional Programming Languages: Static Type Systems

Thu, 13 Mar 2014 6:00 PM

History of Functional Programming Languages: Static Type Systems

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
Social
Rating

based on 0 reviews