addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Dependent Types

Speaker: Lennart Augustsson.

Lennart will be talking about dependent types.

Dependent types incorporate values at the type level allowing more powerful types but they come at a price.

There isn’t space to list everything Lennart has done with functional programming and Haskell in particular. His career has taken him from Chamlers University (where one summer he wrote hbc because GHC was taking too long) via various companies and he has ended up working in London for the last few years.

His technical output includes the hbc Haskell compiler (the first publicly available Haskell compiler), the Cayenne programming language (a functional programming language dependent types) and winning the three winning entries in the International Obfuscated C Code Contest.

“Lennart Augustsson … whose programming productivity beggars belief.” - A History of Haskell: Being Lazy With Class

 

 

Join or login to comment.

  • Theo O.

    @Rustem, the talk was recorded.

    June 27, 2013

    • Theo O.

      not sure. believe @William Pearson can answer your question. I am also keen to watch the talk once again.

      1 · July 1, 2013

  • Tim W.

    Thanks Lennart!

    June 27, 2013

  • Alois C.

    Great talk indeed! thanks

    June 27, 2013

  • Rustem S.

    Couldn't make it. Was it recorded?

    June 27, 2013

  • Ben J.

    I really enjoyed the talk, thanks!

    June 27, 2013

  • Luis Angel Vicente S.

    Unexpected meeting with Tech Lead :(

    June 26, 2013

  • Tom S.

    Sorry! Not able to make it tonight

    June 26, 2013

  • Dominic S.

    Have to attend a meeting

    June 26, 2013

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