4:24 AM
@UnrelatedString i think i have an explanation for triads:
- monads are just lone, no arguments on either side since its sole argument is the accumulator
- dyads are generally found as dyad-nilad pairs, which act on the accumulator
- 1+1 is not evaluated as adding either side together, it stores the leading nilad into the accumulator and then takes the dyad-nilad pair to add 1 to the accumulator
- so triads can be nilad triad nilad
and the would make sense
so nilad nilad triad nilad
firstly stores the leading nilad into the accumulator, the nilad-triad-nilad acts on the accumulator
i think it makes total sense for triads