addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditemptyheartfacebookfolderfullheartglobegmailgoogleimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartrashtriangle-downtriangle-uptwitteruseryahoo

A Pragmatic Case for Static Typing and DSLs and Towers of Abstraction

• 7pm: A Pragmatic Case for Static Typing

• 8pm: Domain Specific Languages and Towers of Abstraction

7pm: A Pragmatic Case for Static Typing

Brian Hurt

This beginners-friendly talk will explain some of the reasons why Haskell programmers are so enthusiastic about static typing: it helps produce working code sooner.  It will consider problems programmers face in producing working code (in any language), and show how Haskell mitigates or solves them. No knowledge of Haskell is assumed.

Subjects touched on will include:

  • Preventing null pointer exceptions
  • Speeding up finding and fixing bugs
  • Problems with large scale development
  • "Don't do that!" doesn't work- what does?
  • Types as documentation
  • Types and parallel programming
  • Types vs. Macros: more than one way to skin a cat

8pm: Domain Specific Languages and Towers of Abstraction

Gershom Bazerman

This talk will sketch some connections at the foundations of semantics (of programming languages, logics, formal systems in general). In various degrees of abbreviation, we will present Galois Connections, Lawvere Theories, adjoint functors and their relationship to syntax and semantics, and the core notion behind abstract interpretation. At each step we'll draw connections, trying to show why these are good tools to think with even as we're solving real world problems and building tools and libraries others will find simple and elegant to use.

Suggested Reading:

Join or login to comment.

  • Gershom B.

    Videos: Static Typing:
    DSLs and abstraction:

    December 30, 2013

  • Joel L.

    Was video of the two talks taken? I had really been looking forward to attending but was ultimately unable to.

    July 29, 2013

    • Richard M.

      Yep. I'll get it up as soon as I'm able.

      July 30, 2013

    • Joel L.

      Awesome. Thank you very much. :-)

      July 30, 2013

  • Vietnhi P.

    Too bad I missed it. I decided to attend an excellent presentation on javascript promises at the evil M at the same hour. I's hard to be in two places at the same time :)

    1 · July 25, 2013

  • Richard M.

    Gershom's talk was rad

    July 25, 2013

  • Artem Z.

    Awesome. Great overview of Static Typing benefits and amazing Category Theory stuff. Thank you.

    July 24, 2013

  • Rob B

    Does anyone recall the name of the paper Brian mentioned in his talk? I think it started with "Theory of ...". Thanks!

    July 24, 2013

  • Nehemias H.

    I am a computer science from Costa Rica visiting NY, never heard of haskel before, would enjoy hearing about it :)

    July 24, 2013

  • Eric


    July 14, 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