Our next meeting, will be held on Thursday, September 19th, starting at
6:30pm.

As per the schedule:

    http://fp-syd.ouroborus.net/

Our presenters this month will be:

 * Raphael Speyer : "JoCaml Illustrated"

 * Andrew Cowie : "The SNAP web framework"

 * Thomas Sewell : "Calculating over loops using a tool that can't."

      I've been trying to prove some properties about programs. Programs
      have loops. I've been using an SMT-solver, a rather powerful tool
      which, unfortunately, knows nothing about loops. Some ideas about how
      to address this.

The meeting will be held at the Google offices at 48 Pirrama Road,
Pyrmont, in a building called Workplace6 (or WP6).

(map:
http://maps.google.com.au/maps?f=q&source=s_q&hl=en&q=48+Pirrama+Rd,+...
)

The RSVP form is here:

    https://spreadsheets.google.com/formResponse?formkey=cjlDYkJOSkF0RXNo.....

which helps us gauge attendance for catering purposes.

Cheers,
Erik

        "The web problem, and solving it in Haskell"

which is motivated by the the conversation we had last month. So, in
abstract:

        Is functional programming a good place to do web applications?
        Hard to say. The trick is to know why the web problem is a mess,
        how different frameworks approach solving it, and realize the
        trade-offs you make when choosing one. We'll look at Snap, its
        templating engine, Heist, and the functional layer on top,
        called Snaplets.

Not sure how far I'll get into Snaplets given the time we have, but I
can at least discuss the motivations behind them, as best I understand
it at this point.

    https://spreadsheets.google.com/formResponse?formkey=cjlDYkJOSkF0RXNo.....