|
|
Functional Web Frameworks |
On Nov 15, 6:53 am, leo <lmeye...@gmail.com> wrote:
http://www.waterken.com/dev/Web/
It specifies and motivates many of the features that you've mentioned
Sandro
> Web apps encapsulate some of the hardest PL, SE topics I know. I don't
I'm quite partial to the web-calculus:
> think we've hit the sweet spot for how to distribute DSLs (do we need
> just one, or many, and if so, for what?) - I'm still stuck on what
> we're trying to express, let alone how to type it for correctness or
> particular compiler transformations. A lot of it can probably be
> answered with libraries (we hacked out a bunch way too quickly for
> flapjax) at this stage - but rich security models, (distributed)
> persistence, distributed computing issues, and the sorts of program
> analyses we want are big question marks to me, and that coupled with
> flexible delivery / target platforms/environments make language
> support seem vital to manage the complexity.
above in a simple, general framework reminiscent of a distributed
lambda calculus. Many of its design features were motivated by the Joe-
E and E capability secure languages such as capability URLs, promises/
futures and message pipelining.