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

[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
> where OCamL is proeminent, mainly France and Italy. The idea would be the
> following : building a translator which would turn Haskell code into (purely
> functional) OCamL code, in order to enable the use of Haskell functions and
> libraries within OCamL programs, in a "human-readable" way (the OCamL source
> code generated would ideally be understandable enough to be manually modified).

You might want to consider targeting F# as well as (or instead of) OCaml.
I've had nothing but trouble with GODI, to the point where I gave up on
OCaml entirely.  On the other hand, F# came with Mono...

F# has built-in support for lazy evaluation (although it is not the default),
so this might simplify your task.  Indeed, F# has comprehensions too, so the
main impedance mismatch would be typeclasses.  This would make an F# target
a sensible half-way point for an OCaml target.