Re: [Haskell-cafe] Adding type annotations to an AST?

2012-03-06 Thread Stephen Tetley
Hi Oleg - many thanks On 6 March 2012 07:15, o...@okmij.org wrote: How do I add type annotations to interior locations in an abstract syntax tree? {Snip}        Here is the solution http://okmij.org/ftp/Computation/FLOLAC/TEvalNR.hs        There is a bit of the explanation here:

Re: [Haskell-cafe] [Haskell] Higher types in contexts

2012-03-06 Thread Ryan Ingram
I find it easy to understand this distinction by writing out the types of the constructors and case expressions for these objects, in a language like system F: (here, {x :: t} means a type argument with name x of kind t) Exists :: {f :: *-*} - {a :: *} - f a - Exists f Forall :: {f :: *-*} - ({a

[Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Alejandro Serrano Mena
Hi, I'm really looking forward to helping in the Summer of Code, if Haskell goes into it this year (something I take for granted :). I would like to propose an idea for a project, and I'm looking for suggestions about whether it's good, should be improved or it's just unfeasible. My idea is to

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Michael Snoyman
On Tue, Mar 6, 2012 at 11:40 PM, Alejandro Serrano Mena trup...@gmail.com wrote: Hi, I'm really looking forward to helping in the Summer of Code, if Haskell goes into it this year (something I take for granted :). I would like to propose an idea for a project, and I'm looking for suggestions

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Alejandro Serrano Mena
My idea would be reusing some of the already-available tools for compiling Haskell to JS (for example, UHC), and develop with any of them a complete library for client-side scripting; rather that redevelop a way to compile Haskell to JS. I think it's really a pity not being able to use things

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Chris Smith
My first impression on this is that it seems a little vague, but possibly promising. I'd make it clearer that you plan to contribute to the existing UHC stuff. A first glance left me with the impression that you wanted to re-implement a JavaScript back end, which would of course be a non-starter

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Michael Snoyman
My issue isn't that you'd need to develop a new set of tools. I just think that using a library approach would allow us to generate more comprehensible code. Hopefully, we could still reuse datatypes, and do lots of other fun stuff. For example, if we used aeson's ToJSON/FromJSON instances for

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Christopher Done
I might as well chime in on this thread as it is relevant to my interests. I made a write up on a comparison of HJScript (JavaScript EDSL) and my Ji (control browser from Haskell) library: https://github.com/chrisdone/ji HJScript is OK, hpaste.org uses it here:

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Bardur Arantsson
On 03/06/2012 11:38 PM, Christopher Done wrote: I might as well chime in on this thread as it is relevant to my interests. I made a write up on a comparison of HJScript (JavaScript EDSL) and my Ji (control browser from Haskell) library: https://github.com/chrisdone/ji HJScript is OK, hpaste.org

Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-06 Thread Christopher Done
On 7 March 2012 06:14, Bardur Arantsson s...@scientician.net wrote: We get the output function (param0_0){var var_1 = true;return var_1;}(3); But this is invalid syntax in JavaScript, and should really be (function (param0_0){var var_1 = true;return var_1;})(3); Right, that's one of the