# [Haskell-beginners] Reminder and Forward: Wednesday 14 November 2012 NYHUG Inaugural Meetup: Ozgun Ataman on Practical Data Processing and Gershom Bazerman on Putting Cloud Haskell to Work

Jay Sulzberger jays at panix.com
Mon Nov 12 23:26:39 CET 2012

```Below is a version of the announcement sent to the haskell-cafe
and the haskell mailing lists by Gershom Bazerman on 9 October 2012.

oo--JS.

<blockquote
what="official New York Haskell Users Group announcement"

rsvp="Yes, see below."

http://www.aosabook.org/en/ghc.html

http://en.wikipedia.org/wiki/Type_inference
http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner
http://www.users.waitrose.com/~hindley/

http://www.cs.ru.nl/~henk/

http://www.usingz.com/

http://en.wikipedia.org/wiki/Curry-Howard
http://www.paultaylor.eu/stable/prot.pdf
ftp://ftp.cs.cmu.edu/usr/rwh/www/home/courses/logic/www/handouts/curry-howard.pdf
http://www.students.science.uu.nl/~3448584/TypeSystems.pdf

http://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/
http://math.andrej.com/2012/11/11/how-to-implement-dependent-type-theory-ii/
http://math.andrej.com/2012/10/03/am-i-a-constructive-mathematician/"

exclamation-of-old-lisper-upon-first-seeing-curry-howard-theorem: "But this
is clearly wrong!  Look I have a function string-length which has type
String->Int, but 'String->Int' is not a theorem of any usual intuitionistic
propositional logic."

would require, if a student of Lisp were to ask for an outline of this
background, a book of perhaps a hundred pages.
Haskell, and more generally, all the New Crazy Types programming systems,
would require three hundred pages."

edits="some adventitious markup and some blank space removed">

Subject: Wednesday 14 November, NY Haskell Inaugural Meetup: Practical Data Processing _and_ Putting Cloud Haskell to Work
Date: 	Fri, 12 Oct 2012 18:05:02 -0400
From: 	Gershom B <gershomb at gmail.com>
To: 	lisp at lispnyc.org

======================================================
What:   New York Haskell Users Group Meeting
When:  Wednesday, November 14, 2012
7 PM - 9 PM
Where: Pivotal Labs, 841 Broadway, 8th floor
(Just south of Union Square)

======================================================

* 7 PM - Practical Data Processing With Haskell

* 8 PM - Putting Cloud Haskell to Work for Distributed Computing

--------------------------------------------------------------------------------------

7 PM - Practical Data Processing With Haskell:
Ozgun Ataman will give an introductory talk on Haskell, diving right
in with how you can start using Haskell for practical data
manipulation tasks today. You'll be introduced to a typical setup for
Haskell development and given a demonstration of how a common data
format (CSV, JSON, etc.) can be parsed, processed and finally output
using Haskell. The talk will include a small actual Haskell program to
be modified live and some commentary around using Haskell in practical
applications.

8 PM - Putting Cloud Haskell to Work for Distributed Computing:
Gershom Bazerman will give an overview of the new distributed-process
library that implements Cloud Haskell, providing computation across
heterogeneous nodes through a message passing interface. He will
discuss what this new tool provides out of the box, and what you'll
have to bring to the table. The talk will include some code samples
using the new library, as well as some experience about what it's like
to use Haskell for distributed computing in the real world.

Speaker Biographies: Ozgun Ataman is the founder of Soostone, a
management consulting and analytics company built on Haskell. He is
the author of many open-source Haskell libraries, and is a contributor
to the Snap web framework. Gershom Bazerman is a developer at S&P
Capital IQ. He is most well known in the Haskell community as the
author of the JMacro library for programmatic generation of
JavaScript, and for one well-received April fools joke.

--------------------------------------------------------------------------------------

We're kicking off the New York Haskell Users Group with two great
talks, one for people just getting started and one for those with some
experience already. Both should be accessible and enjoyable no matter
how much (or little) you already know. Food and refreshments will be
provided, courtesy of the generosity of Pivotal Labs, and after the
talks, we're planning to keep the discussion going over food and drink
at a nearby establishment.

</blockquote>

Distributed poC TINC:

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

```