zenna / Spec.jl

MIT License
4 stars 0 forks source link

Dealing with Conjunctions #3

Closed zenna closed 4 years ago

zenna commented 4 years ago

Dealing with multiple conditions.

Options:

  1. Make a new function type

@post f x > 0 would resolve to

post(Val{:ajdad}, ::typeof(f), ...)

Then I'd use invoke method to invoke them all...

  1. Don;t allow it, all methods need to be in the same place

  2. Have a collection somewhere which we mutate.

  3. Have each new one lookup and redefine the previous one.