@mvsmal форварднул в https://t.me/fsharp_jobs

https://t.me/fsharp_jobs/1573

спасибо

@neftedollar ты каждый минорный релиз акки постишь в ньюсы :D
мне правда интересно почему это настолько важно и как это связано с фшарпом?

приветствую
имеется вопрос
какой способ объединения двух массивов работает быстрее? @ для списков или .append для массивов?

Значительное изменение

Introduction of Akka.Cluster.SBR - Lightbend's Split Brain Resolvers
In Akka.NET v1.4.17 we introduce a new set of Akka.Cluster split brain resolvers for Akka.NET, which are based on the recently open sourced Lightbend implementations of the same. We've documented how to work with each of the new SBR types here, but here's the complete list:

static-quorum
keep-majority
keep-oldest
down-all
lease-majority
keep-referee - only available with the legacy split brain resolver (still ships with Akka.NET.)

аппенд должен быть быстрее просто потому что там беспрерывный кусок памяти выделяется

а list - это связанный список, верно?

ага

понял, благодарю

зависит от размера соединяемой части списка

если брать именно операцию склеивания

[ 1; 2; 3; ] @ [ .... 10000 элементов ]  будет во много раз быстрее, чем наоборот

у меня предполагается большое количество итераций объединения двух списков

сами списки могут быть маленькими, но количество итераций - большим

ну, объединение массива - это выделение нового куска памяти и затем копирование туда частей

объединение списков в фшарпе сделано быстро

https://github.com/dotnet/fsharp/blob/main/src/fsharp/FSharp.Core/prim-types.fs#L4182

там хаки с мутацией ссылки

объединение списка в эфшурпе - это копирование первой части и присоединение ко второй

таки да.

есть вот такой кот, который из массива массивов делает плоский массив