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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
