<div dir="ltr">thanks for these references all. <div><br></div><div style>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. </div>
<div style><br></div><div style>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 :) )</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 30, 2013 at 2:27 PM, Stephen Tetley <span dir="ltr"><<a href="mailto:stephen.tetley@gmail.com" target="_blank">stephen.tetley@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Similarly (to some degree), in the ML world John Reppy had a very nice<br>
system that employed user customization via combinators rather than<br>
inference to generate application/library specific FFIs, see:<br>
<br>
<a href="http://people.cs.uchicago.edu/~jhr/papers/2006/gpce-fig.pdf" target="_blank">http://people.cs.uchicago.edu/~jhr/papers/2006/gpce-fig.pdf</a><br>
<div class="im HOEnZb"><br>
On 29 May 2013 18:57, Jason Dagit <<a href="mailto:dagitj@gmail.com">dagitj@gmail.com</a>> wrote:<br>
<br>
> Are you folks aware of the work on this topic by Tristan Ravitch?<br>
> <a href="https://github.com/travitch/foreign-inference" target="_blank">https://github.com/travitch/foreign-inference</a><br>
><br>
> Jason<br>
><br>
</div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>