mostly on computers and mathematics
Given some example inputs and outputs of a pure function, search for it in a library.
Inspired by Hoogle, and a Hoogle-like type search on the types of the inputs and outputs will likely be a first filtering step.
Many unsolved devilish details.
Sounds great. I look forward to reading more.
Post a Comment