On Tue, Jul 29, 2014 at 12:51 PM, John Myles White <johnmyleswh...@gmail.com > wrote:
> Might we see the changes to the type system that are required to get > higher-order functions to specialize on input functions? > I believe this is one of the things that Jeff wants to do, but obviously he's the definitive word on what he wants to do :-)