Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.os.linux.misc > #7970

NYC LOCAL: Wednesday 24 April 2013 NY Haskell: Josh Hawkins on Cabal and Posets and Dustin Mulcahey on Approximations in Posets

Cross-posted to 3 groups.

Followups directed to: gnu.misc.discuss

Show all headers | View raw

<blockquote
  what="official Haskell Users Group NYC announcement"
  edits="material removed to fit in mailboxen;
         one line break position changed">

 Subject: Cabal All the Things and The Meaning of Haskell Programs -  New York Haskell Users Group (New York, NY) - Meetup
 X-URL: http://www.meetup.com/NY-Haskell/events/112692222/

 New York Haskell Users Group

 < ... />

    Featured Meetup

 Cabal All the Things and The Meaning of Haskell Programs

      * Tell a friend New!
      * Share

      * Wednesday, April 24, 2013
        7:00 PM
      * Pivotal Labs
        841 Broadway, 8th Floor, New York, NY (map)
        40.734360 -73.991058
      * o 7pm: Cabal All the Things: From Init to Testing to Dist
        o 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/

 < list of people likely to attend removed;
   other stuff removed also;
   see
   http://www.meetup.com/NY-Haskell/events/112692222/
   for full page />

    We're about:
    Haskell · Functional Programming · Programming · Programming Languages ·
    Software Development · Open Source
    Organizers:
    Gershom Bazerman, Doug Beardsley, Ozgun Ataman, Richard Minerich,
    Ryan Trinkle
    View The Leadership Team
    Contact
    x

    The NY Haskell Users Group is for all programmers either interested in or
    experienced with the Haskell programming language. We want to build a
    community of Haskell developers in the New York area that can share
    knowledge, projects, and experience, and to generally foster and
    encourage strongly typed functional programming, in all languages, all
    settings, and all industries. Our events will center around talks, but we
    intend to have other sorts of activities, including social hours, code
    workshops, and perhaps, eventually hackathons.

 Our Sponsors

 < list of sponsors removed;
   tail pieces removed;
   see
   http://www.meetup.com/NY-Haskell/events/112692222/
   for full page />
  
</blockquote>


Distributed poC TINC:

Jay Sulzberger <secretary@lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org

Back to comp.os.linux.misc | Previous | Next | Find similar | Unroll thread

Thread

NYC LOCAL: Wednesday 24 April 2013 NY Haskell: Josh Hawkins on Cabal and Posets and Dustin Mulcahey on Approximations in Posets secretary@lxny.org - 2013-04-23 17:58 -0400

csiph-web