add nestable meta-information for type.function matching.

Question

Opened this issue 4 years ago · 2 comments

Answer 1 · 2020-09-22T19:00:19.000Z

(see lib/type/function.ex:55 and lib/type/function.ex:69

Answer 2 · 2021-01-25T19:00:36.000Z

This needs to be nestable. Strategy to consider: Generate a random binary slug that gets declared in the outside scope? Then drop it in.

Difficulties: Will this be comparable? Can we somehow, instead of making this random, make it deterministic?