Вопросы, связанные с параметрами функций about lens HOT 4 CLOSED

@ForNeVeR, что думаешь по первым двум пунктам?

from lens.

1. Без этого вполне можно обойтись. Считаю эту фичу практически незаметной и не особенно полезной - как и именованные параметры функций.
2. На первый взгляд, out-параметры несовместимы с частичным применением. Но если немного подумать, то можно ограничить набор случаев, когда они действительно несовместимы. Вкратце мне кажется так: out-параметры могут быть применены к функции только в последнюю очередь, причём только всей пачкой сразу. Иначе говоря, нельзя оставлять функцию частично применённой, если в списке уже каррированных параметров есть хоть один out. Но применять параметры, которые находятся в списке аргументов до первого out-параметра, в принципе возможно.

С ref-параметрами проблем в этом отношении не вижу - всего лишь "захватывается в замыкание" "указатель" на переменную. (К сожалению, я не в курсе, как в действительности этот механизм реализуется в CLR - пока не сталкивался.)

В целом использование out и ref вместе с частичным применением выглядит так, как будто потребует значительных усилий от компилятора. Поэтому я считаю, что было бы разумно просто запретить это.

from lens.

1. Да, в общем и целом объявлять новые функции с ручным каррированием у нас очень просто:
   fun sum3 a:int b:int c:int -> a + b + c
fun sum_add1 a:int c:int -> sum3 a 1 c
2. Ага, я думаю будет оптимальным вариантом такая схема: если в функции есть ref или out - параметры, ее можно вызывать, только указывая все аргументы сразу. Если же все параметры класса in, то ее можно частично применять.

from lens.

Вроде вопрос решен. Закрываю тикет.

from lens.