Next meeting September 19th (thats this week)

[Erik de Castro Lopo]

Hi all,

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,+Pyrmont+NSW+2009&sll=-25.335448,135.745076&sspn=46.465145,88.505859&ie=UTF8&cd=1&geocode=FSo8-_0dhw8DCQ&split=0&z=16
)

The RSVP form is here:

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

which helps us gauge attendance for catering purposes.

Cheers,
Erik

--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/

[Erik de Castro Lopo]

Erik de Castro Lopo wrote:

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

Of course that should be Sept 20th.

[Andrew Cowie]

On Wed, 2012-09-19 at 06:23 +1000, Erik de Castro Lopo wrote:

> * Raphael Speyer : "JoCaml Illustrated"
>
> * Andrew Cowie : "The SNAP web framework"

So I will indeed be talking about Snap. I actually concocted a grandiose
title

"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.

AfC
Sydney

[Erik de Castro Lopo]

Erik de Castro Lopo wrote:

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

Just a reminder that this is one *tonight* and the people intending to attend
should fill in the RSVP here:

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