On Mon, Dec 21, 2015 at 7:15 PM, Attila Lendvai attila@lendvai.name wrote:
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,