История изменений
Исправление cdshines, (текущая версия) :
Ага, в общем случае вижу. Но в моем варианте я предполагаю делать это «на условиях компилятора», т.е. просто нагенерировать функций вида f(x, y), которые можно вызывать с упоминанием этих же параметров, т. е. f(x = 5, y = 6), что позволяет выбрать из набора f(v1, v2) (где v1, v2 - любые) именно те, у которых нужная сигнатура. А избыточностью (т.е. z = g(x, y) => (x, y, z) = (x, y, g(x, y))) мы гарантируем, что переменная z _в_вызванной_с_обозначенными_параметрами_ функции не может быть потенциально дальше развернута по какой-то формуле (т. е. применять внутри нее правила - излишне). oh shi! я только что понял, кажется, о чем ты. В общем случае нет гарантий, что в правиле для завсимой переменной не будет новой необходимости раскрывать что-то? Если так, то, может, есть какие-то границы соотношения n:k, при которых любые k можно выразить через n-k без таких опасений?
tl;dr: два последних предложения.
Исправление cdshines, :
Ага, в общем случае вижу. Но в моем варианте я предполагаю делать это «на условиях компилятора», т.е. просто нагенерировать функций вида f(x, y), которые можно вызывать с упоминанием этих же параметров, т. е. f(x = 5, y = 6), что позволяет выбрать из набора f(v1, v2) (где v1, v2 - любые) именно те, у которых нужная сигнатура. А избыточностью (т.е. z = g(x, y) => (x, y, z) = (x, y, g(x, y))) мы гарантируем, что переменная z _в_вызванной_с_обозначенными_параметрами_ функции не может быть потенциально дальше развернута по какой-то формуле (т. е. применять внутри нее правила - излишне). oh shi! я только что понял, кажется, о чем ты. В общем случае нет гарантий, что в правиле для завсимой переменной не будет новой необходимости раскрывать что-то? Если так, то, может, есть какие-то границы соотношения n:k, при которых любые k можно выразить через n-k без таких опасений?
tl;dr: два последний предложения.
Исходная версия cdshines, :
Ага, в общем случае вижу. Но в моем варианте я предполагаю делать это «на условиях компилятора», т.е. просто нагенерировать функций вида f(x, y), которые можно вызывать с упоминанием этих же параметров, т. е. f(x = 5, y = 6), что позволяет выбрать из набора f(v1, v2) (где v1, v2 - любые) именно те, у которых нужная сигнатура. А избыточностью (т.е. z = g(x, y) => (x, y, z) = (x, y, g(x, y))) мы гарантируем, что переменная z _в_вызванной_с_обозначенными_параметрами_ функции не может быть потенциально дальше развернута по какой-то формуле (т. е. применять внутри нее правила - излишне). oh shi! я только что понял, кажется, о чем ты. В общем случае нет гарантий, что в правиле для завсимой переменной не будет новой необходимости раскрывать что-то? Если так, то, может, есть какие-то границы соотношения n:k, при которых любые k можно выразить через n-k без таких опасений?