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

[secr...@lxny.org]

<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 <secr...@lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org