On Sun, 17 Oct 2010, Patai Gergely wrote:
I'm trying to reuse as much of the sweat and tear put into GHC as possible to derive a compiler for a language highly similar to Haskell in many aspects. The difference is that instead of constructing an expression of type IO (), the programmer has to provide a stream processor on the top level - whether this is an arrow structure or just a pure function mapping input to output is not decided yet. In other words, I want to allow the programmer to use full Haskell as a metaprogramming language to create an expression of a much more limited language.
And it is not enough to provide just a driver function, that is called in 'main', say
run :: IOArrow a b -> a -> IO b ? _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
