Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
NYC LOCAL: Tuesday 29 January 2013 NY Haskell: Ryan Trinkle and Doug Beardsley on Coding and Reasoning with Purity, Strong Types, and Monads
1 view
Skip to first unread message
secr...@lxny.org
Jan 28, 2013, 3:18:23 AM1/28/13
to
<blockquote
what="official New York City Haskell Users Group announcement"
equational-reasoning="http://en.wikipedia.org/wiki/Universal_algebra
[page was last modified on 21 January 2013 at 03:08]
Below mentions the Completeness Theorem for
Equational Logic.
http://mathworld.wolfram.com/EquationalLogic.html
Below is the standard texbook
A Course in Universal Algebra
of S. N. Burris and H.P. Sankappanavar
http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html"
edits="Some so that announcement fits in mailboxen.">
Subject: Coding and Reasoning with Purity, Strong Types, and Monads - New York Haskell Users Group (New York, NY) - Meetup
X-URL: http://www.meetup.com/NY-Haskell/events/96038872/
Date: Sun, 13 Jan 2013 22:18:15 -0500 (EST)
New York Haskell Users Group
< ... />
Featured Meetup
Coding and Reasoning with Purity, Strong Types, and Monads
* Tuesday, January 29, 2013
7:00 PM to 9:00 PM
* Pivotal Labs
841 Broadway, 8th Floor, New York, NY (map)
40.734360 -73.991058
* New Haskell users often point to complicated types and lack of
pervasive side-effects in functions as confusing. But these
features provide powerful tools to reason with, that can
dramatically reduce the complexity of sophisticated code. We're
starting off 2013 with two talks, one beginner and one
intermediate, that will explain this from the ground up.
Ryan Trinkle will start off the evening with an intro talk to get
beginners up to speed. Then, Doug Beardsley will talk about
purity, strong types, and monads--why you should care about them,
and how they can help you write better quality software. Drawing on
experience with real world projects, we will take a look at
practical motivations for these concepts. Then we will explore how
they were actually used in the development of the recent 0.10
release of the Heist template system.
< ... />
Will you attend?
Join us!
93 attending
17 spots available
*
Gershom Bazerman
Organizer
Event Host
*
Mighty Byte
Co-Organizer
Event Host
*
Ryan Trinkle
Co-Organizer
Event Host
*
< ... />
New York Haskell Users Group
New York, NY
Founded Sep 24, 2012
We're about:
Haskell � Functional Programming � Programming � Programming Languages
� Software Development � Open Source
Organizers:
Gershom Bazerman, Mighty Byte, 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
[iab120x90_1308282.jpeg]
Pivotal Labs
Meeting Space
[iab120x90_1308232.jpeg]
Continuum Analytics
Holiday Party sponsor.
[iab120x90_1308152.jpeg]
Tumblr
Holiday Party sponsor
[iab120x90_1308162.jpeg]
Brandorr Group LLC
Holiday Party sponsor
[iab120x90_1308182.jpeg]
Puppetlabs
Holiday Party sponsor.
[iab120x90_1308202.jpeg]
InformIT
Holiday Party sponsor.
[iab120x90_1308212.jpeg]
Opsdivina.com
Holiday Party sponsor.
[iab120x90_1308222.jpeg]
NYI
Holiday Party sponsor.
[iab120x90_1308242.jpeg]
Oracle (Solaris Engineering)
Holiday Party sponsor.
Membership perks
Offer a perk for our members and get exposure.
Offer a perk ->
People in this
Meetup are also in:
* The NYC OCaml Meetup
129 Camlers
* nodejs
1,238 Noders
* LispNYC
342 Lispnycs
Next Meetup:
Tuesday, Feb 12
* NYLUG - New York Linux Users Group
1,172 Members
Next Meetup:
Tuesday, Jan 15
* NYC Amazon Web Services User Group & Forums
1,030 People interested in Cloudins
Next Meetup:
Thursday, Jan 31
* Ember.js NYC
465 Embere�os
Next Meetup:
Thursday, Jan 24
Meetup
* What's new
* Help
* Log in
* Sign up
Find a Meetup Group Start a Meetup Group
____________________ [search_20.png]-Submit Submit
Top 68 Tech Meetups this week Show me the Meetups
* About Meetup
* We're hiring!
* Discuss Meetup
* Meetup HQ Blog
* Meetup API
* Meetup Everywhere
* Offer a Perk to Meetup Groups
* Help
* Privacy Updated 5/23/2010
* Terms of service Updated 5/23/2010
* � 2013 Meetup
Trademarks belong to their respective owners.
* Meetup is proudly Made in NYC!
< ... />
</blockquote>
Distributed poC TINC:
Jay Sulzberger <secr...@lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org
what="official New York City Haskell Users Group announcement"
equational-reasoning="http://en.wikipedia.org/wiki/Universal_algebra
[page was last modified on 21 January 2013 at 03:08]
Below mentions the Completeness Theorem for
Equational Logic.
http://mathworld.wolfram.com/EquationalLogic.html
Below is the standard texbook
A Course in Universal Algebra
of S. N. Burris and H.P. Sankappanavar
http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html"
edits="Some so that announcement fits in mailboxen.">
Subject: Coding and Reasoning with Purity, Strong Types, and Monads - New York Haskell Users Group (New York, NY) - Meetup
X-URL: http://www.meetup.com/NY-Haskell/events/96038872/
Date: Sun, 13 Jan 2013 22:18:15 -0500 (EST)
New York Haskell Users Group
< ... />
Featured Meetup
Coding and Reasoning with Purity, Strong Types, and Monads
* Tuesday, January 29, 2013
7:00 PM to 9:00 PM
* Pivotal Labs
841 Broadway, 8th Floor, New York, NY (map)
40.734360 -73.991058
* New Haskell users often point to complicated types and lack of
pervasive side-effects in functions as confusing. But these
features provide powerful tools to reason with, that can
dramatically reduce the complexity of sophisticated code. We're
starting off 2013 with two talks, one beginner and one
intermediate, that will explain this from the ground up.
Ryan Trinkle will start off the evening with an intro talk to get
beginners up to speed. Then, Doug Beardsley will talk about
purity, strong types, and monads--why you should care about them,
and how they can help you write better quality software. Drawing on
experience with real world projects, we will take a look at
practical motivations for these concepts. Then we will explore how
they were actually used in the development of the recent 0.10
release of the Heist template system.
< ... />
Will you attend?
Join us!
93 attending
17 spots available
*
Gershom Bazerman
Organizer
Event Host
*
Mighty Byte
Co-Organizer
Event Host
*
Ryan Trinkle
Co-Organizer
Event Host
*
< ... />
New York Haskell Users Group
New York, NY
Founded Sep 24, 2012
We're about:
Haskell � Functional Programming � Programming � Programming Languages
� Software Development � Open Source
Organizers:
Gershom Bazerman, Mighty Byte, 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
[iab120x90_1308282.jpeg]
Pivotal Labs
Meeting Space
[iab120x90_1308232.jpeg]
Continuum Analytics
Holiday Party sponsor.
[iab120x90_1308152.jpeg]
Tumblr
Holiday Party sponsor
[iab120x90_1308162.jpeg]
Brandorr Group LLC
Holiday Party sponsor
[iab120x90_1308182.jpeg]
Puppetlabs
Holiday Party sponsor.
[iab120x90_1308202.jpeg]
InformIT
Holiday Party sponsor.
[iab120x90_1308212.jpeg]
Opsdivina.com
Holiday Party sponsor.
[iab120x90_1308222.jpeg]
NYI
Holiday Party sponsor.
[iab120x90_1308242.jpeg]
Oracle (Solaris Engineering)
Holiday Party sponsor.
Membership perks
Offer a perk for our members and get exposure.
Offer a perk ->
People in this
Meetup are also in:
* The NYC OCaml Meetup
129 Camlers
* nodejs
1,238 Noders
* LispNYC
342 Lispnycs
Next Meetup:
Tuesday, Feb 12
* NYLUG - New York Linux Users Group
1,172 Members
Next Meetup:
Tuesday, Jan 15
* NYC Amazon Web Services User Group & Forums
1,030 People interested in Cloudins
Next Meetup:
Thursday, Jan 31
* Ember.js NYC
465 Embere�os
Next Meetup:
Thursday, Jan 24
Meetup
* What's new
* Help
* Log in
* Sign up
Find a Meetup Group Start a Meetup Group
____________________ [search_20.png]-Submit Submit
Top 68 Tech Meetups this week Show me the Meetups
* About Meetup
* We're hiring!
* Discuss Meetup
* Meetup HQ Blog
* Meetup API
* Meetup Everywhere
* Offer a Perk to Meetup Groups
* Help
* Privacy Updated 5/23/2010
* Terms of service Updated 5/23/2010
* � 2013 Meetup
Trademarks belong to their respective owners.
* Meetup is proudly Made in NYC!
< ... />
</blockquote>
Distributed poC TINC:
Jay Sulzberger <secr...@lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org
0 new messages