> Hi Rafael, I recently posted an example of using function types, see:
Thanks Adrian, but I couldn't see how it helps to make a function specialize on its (higher-order) function parameter (and possibly inline it).
> Hi Rafael, I recently posted an example of using function types, see:
Thanks Adrian, but I couldn't see how it helps to make a function specialize on its (higher-order) function parameter (and possibly inline it).