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 <dag...@gmail.com> 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