align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

Cabal All the Things and The Meaning of Haskell Programs

• 7pm: Cabal All the Things: From Init to Testing to Dist

• 8pm: The Meaning of Haskell Programs


7pm: Cabal All the Things: From Init to Testing to Dist

Josh Hawkins will walk us through using cabal [1] to manage the structure of a haskell project across all stages of its development, from setting up through testing [2] [3] [4], benchmarking [5], and release.

[1] http://www.haskell.org/cabal/
[2] http://batterseapower.github.io/test-framework/
[3] http://www.haskell.org/haskellwiki/HUnit_1.0_User's_Guide
[4] http://www.haskell.org/haskellwiki/Introduction_to_QuickCheck2
[5] http://hackage.haskell.org/package/criterion


8pm: The Meaning of Haskell Programs

Dustin Mulcahey[1] will explain why this question is interesting to begin with, and then introduce mathematical objects called 'domains' [2] that are useful for providing semantics for programs. Along the way, basic category theoretic notions will be introduced that help in understanding Haskell.

This talk should leave the audience with a surer footing on category theoretic jargon, as well as a new appreciation for fixed points [3], and new insight into the difference between laziness and strictness. Time permitting, the discussion will also tie into type theory, and discuss possible programming language semantics inspired by recent work in Homotopy Type Theory. [4]

[1] http://comonadology.blogspot.com/
[2] http://en.wikipedia.org/wiki/Domain_theory
[3] http://en.wikipedia.org/wiki/Fixed_point_(mathematics)
[4] http://homotopytypetheory.org/

Join or login to comment.

  • JHawk

    Glad you enjoyed it and thanks for linking the example code. I had meant to do that Thursday but got a little busy with work.

    April 27, 2013

  • Ted C.

    thanks for the cabal demo, Josh! for those who'd like to take a look it's here: https://github.com/JHawk/enterpriseFizzBuzz

    April 27, 2013

  • Eric F.

    Enlightening!

    April 25, 2013

  • Artem Z.

    The meetup was awesome, especially the Meaning of Haskell Program. As topos theorist I was waiting to hear something about subobject classifier and intuitionistic logic. Well... Anyway all was super! Thanks a lot.

    April 25, 2013

    • Artem Z.

      Does it mean that dynamic typed functional languages, like Clojure, can have subobject classifier?

      April 25, 2013

    • Artem Z.

      Anyway as you mentioned category Hask is not cartesian closed and cannot be a topos.

      April 25, 2013

  • Pierre de L.

    This meetup was awesome. The Cabal talk was very interesting and easy to follow. The talk on the Meaning of Haskell Programs was amazing!

    April 25, 2013

  • Sami B.

    Excellent meetup.
    Josh Hawkins walked us through Cabal build system.
    Dustin Mulcahey is an actual category theorist, and gave a great introduction to denotational semantic.

    April 25, 2013

  • David B.

    Have to work instead of having fun

    April 24, 2013

  • Melchizedek L.

    Super Excited.

    April 22, 2013

  • Raymond P.

    Look forward to seeing the topologist.

    April 19, 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