Type propagation proposal

[Luís Oliveira]

On Mon, Dec 21, 2015 at 7:15 PM, Attila Lendvai <attila at lendvai.name> wrote:
> https://github.com/cffi/cffi/wiki/Type-propagation-proposal

This is a good idea. In the past, we've talked about implementing the
(SB-)ALIEN API on top of CFFI, which would require something along
these lines.

Regarding your concrete proposal, how would the API look like? It
would be nice to keep the same API, but it's not always possible to
suppress the type arguments because of where they're positioned in the
lambda lists.

I agree with James that it would be nice to use declarations and
environments, if feasible.

Cheers,

-- 
Luís Oliveira
http://kerno.org/~luis/