Re: [Haskell-cafe] Type checking of partial programs

[ac]

So a number of people responded with various ways this is already possible.
Of course GHC can already do this... it's type inference. The part I'm
interested in working on is exposing the functionality in GHC's API to make
this as easy as possible.

 -Abram
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Type checking of partial programs

[ac]

Is anybody interested in working on this? This is a project I've been
interested in for some time, but recognize I probably need some guidance
before I go off and start hacking on it. As dcoutts pointed out on
#haskell-soc, this may be of particular interest to people working on yi and
HaRe. Other interesting and related projects include parsing partial
programs to insert placeholders in appropriate places. An example of a
partial program could be:

foo :: [Foo] - placeholder 1
foo xs = map placeholder 2 xs

What are the possible type signatures for placeholder 1 and the possible
expressions for placeholder 2?

I would like to stir up a discussion about this, and eventually write some
useful code.

 -Abram
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe