Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Stephen Tetley
Hi Damien A translator might be a lot of work. Matthew Naylor had a translator between Haskell and Clean [1], which performed well according to [2]. The translator was his Master project in the UK so I think that means it would represent approximately a years work. [1]

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Damien Desfontaines
2012/3/19 Richard O'Keefe o...@cs.otago.ac.nz On 19/03/2012, at 8:01 AM, Damien Desfontaines wrote: The project I suggest is mainly inspired by Ticket #1555 [1] : I think that would be a great idea to make it possible to call some Haskell code into OCamL. In particular, this would

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Chris Smith
Damien Desfontaines ddfontai...@gmail.com wrote: Thanks for your answer. I must admit that I do not really realize how much work such a project represents. I will probably need the help of someone who is more experienced than me to decide my timeline, and perhaps to restrict the final goal

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Brandon Allbery
On Mon, Mar 19, 2012 at 17:06, Chris Smith cdsm...@gmail.com wrote: One possible way out of this trap would be if, perhaps, the variant of Haskell you picked were actually GHC's core language. That could (...) It still seems far too ambitious for GSoC, though. And I remain unconvinced how

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Richard O'Keefe
On scoping the project: be clear about the actual goal. If you want to take existing Haskell libraries and use them in OCaml, then you pretty much have to deal with the full language. You should start by using as much as you can of an existing compiler, or by getting an unmodified compiler to

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Chris Smith
On Mon, Mar 19, 2012 at 7:52 PM, Richard O'Keefe o...@cs.otago.ac.nz wrote: As just one example, a recent thread concerned implementing lock-free containers.  I don't expect converting one of those to OCaml to be easy... If you translate to core first, then the only missing bit is the atomic

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-19 Thread Jason Dagit
On Mon, Mar 19, 2012 at 9:12 PM, Chris Smith cdsm...@gmail.com wrote: On Mon, Mar 19, 2012 at 7:52 PM, Richard O'Keefe o...@cs.otago.ac.nz wrote: As just one example, a recent thread concerned implementing lock-free containers.  I don't expect converting one of those to OCaml to be easy...

[Haskell-cafe] Google Summer of Code idea of project application

2012-03-18 Thread Damien Desfontaines
Dear members of Haskell Cafe, My name is Damien Desfontaines, and I'm currently following a Theoretical Computer Science Major at the École Normale Supérieure in Paris, which is one of the most selective universities in France. To complete my curriculum, I am to find a three-month internship

Re: [Haskell-cafe] Google Summer of Code idea of project application

2012-03-18 Thread Richard O'Keefe
On 19/03/2012, at 8:01 AM, Damien Desfontaines wrote: The project I suggest is mainly inspired by Ticket #1555 [1] : I think that would be a great idea to make it possible to call some Haskell code into OCamL. In particular, this would contribute to the spreading of Haskell in countries