VZ
Кстати интересно, надо пойти посмотреть как это компилируется. Можно было бы наверное не аллоцировать FSharpFunc
Size: a a a
2020 November 09
AH
Кстати интересно, надо пойти посмотреть как это компилируется. Можно было бы наверное не аллоцировать FSharpFunc
А он создаёт делегат потому что думает что тут есть кложуры хитрые (а их нет)
AH
вот да, тут есть место для оптимизации
AH
сайд эффект есть, а кложуры нет
AH
но данный паттерн вообще часть для мемоизации применяют
let foo =
let cache = ...
let args ->
// use cache
let foo =
let cache = ...
let args ->
// use cache
AH
то есть там СКОРЕЕ всего кложуры будут
VS
Вот хочется поправить @vl_za . Функция без аргументов - тоже функция. Просто она мемоизируется жи
VS
И, насколько я помню, в f# предполагается, что у функции или 0, или 1 аргумент
PD
Какая сигнатура будет у ReadInt?
Ну, кстати, если не ошибаюсь, то в некоторых случаях для
let f = fun x -> x + 1 сиганутра будет (int -> int) (со скобками), тогда как у let f x = x + 1 будет int -> int (без скобок)YT
Ну, кстати, если не ошибаюсь, то в некоторых случаях для
let f = fun x -> x + 1 сиганутра будет (int -> int) (со скобками), тогда как у let f x = x + 1 будет int -> int (без скобок)а в чем разница?
RM
никак я не въеду в этот unit
void обычный
PD
Вот, это происходит, если у функции ещё и тело есть, то есть если она не сразу возвращает fun
PD
а в чем разница?
На что-то да влияет
RM
мне кстати так гораздо больше нравится сигнатуры указывать. Типа
приятней, чем каждый параметр в скобочки обрамлять
let toCustomerOrder: RootOrder * ProductItems -> CustomerOrder optionприятней, чем каждый параметр в скобочки обрамлять
Кстати, да, но хз можно ли так сделать чтоб старое поведение осталось
PD
а в чем разница?
Точно могу сказать, что пропадает информация об именах аргументов, что иногда неприятно
RM
На что-то да влияет
Ни на что в данном случае
PD
А ещё в том, что f2 уже точно хранится как FSharpFunc , тогда как f1 превращается в обычную функцию (sharplab)
RM
а в чем разница?
Показывает, что принятое значение.
Не более, скобки в сигнатуре работают группировкой.
Сигнатура seq.map
'a seq -> ( a' -> 'b) -> 'b seq
Тут скобки показывают, что параметром ожидается ф-ция
Не более, скобки в сигнатуре работают группировкой.
Сигнатура seq.map
'a seq -> ( a' -> 'b) -> 'b seq
Тут скобки показывают, что параметром ожидается ф-ция