variables/lambdas

[KiaraGrouwstra]

shared among variables and lambda function parameter variables:

• variable name generation
  • get paramCount out of fillHole so we can update it in a useful manner here
• finding variables in scope for a given AST node (i.e. hole)
  • let in_scope_vars :: ? = []?

specific to allowing lambda functions:

• capture wildcard type in fillHole type check
• get hole types
• [ ] eta reduction -> synthesize legible programs #22

[KiaraGrouwstra]

cleaned out a WIP attempt here, as this doesn't seem a priority for now.

[KiaraGrouwstra]

welp, I guess wontfix tag may have been optimistic here if recursion (#12) may push me into this if I can't find a simpler benchmark...

[KiaraGrouwstra]

note that most others like Tamandu tend to do top-level multi-param functions (e.g. foo a b = ...) -- I may need to either settle for at least that, or ensure my dataset has point-free tools like function composition (.) and param flipping.