* 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).
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
"The web problem, and solving it in Haskell"
which is motivated by the the conversation we had last month. So, in
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,
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.