[Haskell-cafe] Google Summer of Code idea of project & application
ok at cs.otago.ac.nz
Mon Mar 19 02:05:29 CET 2012
On 19/03/2012, at 8:01 AM, Damien Desfontaines wrote:
> The project I suggest is mainly inspired by Ticket #1555  : 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.
More information about the Haskell-Cafe