× Logo@2x
Eventil Find Tech Events
Official
In Play Store
View
× Logo app store
Eventil
Official
In App Store
View

History of Functional Programming Languages: Static Type Systems

Thu, 13 Mar 2014 7:00 PM

Tickets

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.

Claim this event
Social
Rating

based on 0 reviews