thanks for these references all. As some folks who help with GSOC mentoring have pointed out offline, this summers work is not to be a research project, but a concretely achievable over the summer by a single student project. if we hit hard obstacles i'll help sort out a concrete path that maintains a path to success, but research here isn't the goal. rather "lets make something that WORKS WELL". Sometimes the novelty requirements for research are contrary to the best tech choices for building robust usable tools. point being, thanks for sharing the fun reading, if any can help the student along, i'm happy to pass it along, but lets not nerd snipe students into other projects. (i'm bad enough with that for myself as is :) ) On Thu, May 30, 2013 at 2:27 PM, Stephen Tetley wrote:

Similarly (to some degree), in the ML world John Reppy had a very nice system that employed user customization via combinators rather than inference to generate application/library specific FFIs, see:

http://people.cs.uchicago.edu/~jhr/papers/2006/gpce-fig.pdf

On 29 May 2013 18:57, Jason Dagit wrote:

...

Are you folks aware of the work on this topic by Tristan Ravitch? https://github.com/travitch/foreign-inference

Jason

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

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