addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

History of Functional Programming Languages: Static Type Systems

  • Mar 13, 2014 · 7:00 PM
  • Restaurant Oase

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.

Join or login to comment.

  • James l.

    Stephan,
    thanks you for a nice presentation!

    Note: I mentioned my OO to FP blog entry to a few of you, so I include the link here: http://equational.blogspot.com/2013/08/oo-design-patterns-from-functional.html
    (and as mentioned it does contain one or two simplifications that would need fixing).
    Regards, James

    March 13, 2014

    • Stephan M.

      Many thanks for the link to your blog, James!

      March 20, 2014

    • Stephan M.

      ...and looking forward to the corresponding talk/presentation :-)

      March 20, 2014

  • Karl B.

    The talk was excellent and gave a lot of ideas...

    March 14, 2014

  • Pascal W.

    Vielen Dank für die Einladung

    Kann leider nicht teilnehmen!

    Gruss
    Pascal

    February 16, 2014

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy