I
а генерит много фанков
Size: a a a
2020 October 13
I
у тебя пример ещё сложнее
VA
Очень много на самом деле
Да, я понимаю, что в общем случае черт ногу сломит. Но, например, в Akka Streams рантайм иногда ухитряется схлопывать различные стадии в одну.
I
Ну в C# тоже куча оптимизацией для IEnumerable, типа комбинированных WhereSelect итераторов и так далее
I
Банально не достаточно людей, которые бы сидели на постоянке и крутили компилятор F#
I
Вот на самом деле printfn если взять - вроде как все типы известны в компайл тайме, можно же сгенеритиь сразу супер эффективную функцию
I
Но ведь нет, работает медленее string.format, который боксит, да ещё и выделяет больше гораздо
VA
Ну в C# тоже куча оптимизацией для IEnumerable, типа комбинированных WhereSelect итераторов и так далее
Ну вот чувствуется это, что никто не занят тем, что крутит компилятор. Постоянно вижу, как в твиттере разные люди рапортуют о выигранных микросекундах в оптимизациях выражений в сшарпе
I
В плане компиляторных оптимизаций в F#-пе ещё много простора
I
Ну вот чувствуется это, что никто не занят тем, что крутит компилятор. Постоянно вижу, как в твиттере разные люди рапортуют о выигранных микросекундах в оптимизациях выражений в сшарпе
Угу, так и есть
I
ну так тоже нереально, ты максимум оптимизаций всегда выжмешь если у тебя куча времени
MS
Справедливости ради, это другая задача. В твоём примере итерация по массиву будет одна, не две.
I
джит не сможет за считанные секунды понять что FSharpFunc(FSharpFunc(x, 1, 2)) -> это x + 1 + 2
VK
Я бы предпочел меньше оптимизаций в компиляторе, но больше в JIT.
У нас так в другом чате начинается платиновый срач за то что все ручные тайпчеки в линке можно переписать на тайпклассы
I
Он не умеет так для делегатов, т.к. не умеет их инлайнить, а для кастомных классов тем более. По этому любая стадия хорошей оптимизации (в .Net) начинается с очень чистого и короткого IL'а
VA
Справедливости ради, это другая задача. В твоём примере итерация по массиву будет одна, не две.
Да, я это тезисно 😊
g
ну так тоже нереально, ты максимум оптимизаций всегда выжмешь если у тебя куча времени
Максимум оптимизаций можно выжать при whole-program optimization и мономорфизации.
I
Максимум оптимизаций можно выжать при whole-program optimization и мономорфизации.
это куча времени -)
VK
можно не надо пожалуйста