複数の変数を取らないようにする。...これは素直だが、読みにくくなる。型があれば複数変数を許すのは複数の型を許すことになり自然ではない。関数などにして複数変数は特別に扱う。この方が今の方針には合致している。取るのはいってみれば関数としての集合でしかなく型は考えなくていいというところを延長すれば、こういうこともありだろう。このほうが見やすく、このセンで行きたい。以外特別な関数が他にいらないかが問題。メタな概念に近く、それについてのみ特別な操作を許しても、他ですべて同じ「いろいろ作る」方針をとらなくていいだろう。この「読み」が間違いである可能性もけっこうある...。JRF2022/7/85150......。