hi?

Ni hao?

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfALgTwA4FMAEBZTEEAhgOaYA8A5EQHwC8+hpOA9mNgBQCuAdgJbIAtDWoBKALAAoNFmwAFAE4sAxgQgsFHUXSnZgmZNgBGLAB7Y6eIn2AnTilWo0A6AMrIiC5BzC9sfHjthXWxQsPCIyKjo0P1DBUxlPRYWdGweC2wQmJzc6KIIVB5lAG9svIqKuIBCbABbSwC7ZwAlRMw+ADdMLXLK/ui6omRlAAt67AB3AXG+gfnwxEZiMmwFKA4FZRAAQULitvRgVABhUaIeHkxgKlpRYS3WzCPUTYlJBc+v77CE5C4FDxasAUmkAAxzH55AC+WQ+UP6INS2Ah8IR0Xe9UwdSMmAU2GQoz4EGcci4hg4phAAWQ2machYEGQOx4MEOxx8fi2wmWzE4vh4WmEplEUC2mLq2Nx+MJxNJ5I4qBATIUARIdLMpMZzNZ7NeArWyh5aj5nMF9xoqFF4qAA===

Примерно так

Да это же похоже на экзистенциальные типы, про которые недавно рассказывали) https://www.gresearch.co.uk/2018/04/05/introducing-crates

проблема не в мейлбоксе а в твоем типе Message

И как его написать правильно?

в статье есть код, нужно специальный тип заюзать ObjectCrate

Ну или сделать OR- тип, IntMessage, StringMessage без дженерика

Ну вот судя по всему придется

Потому как с генериками оно заводиться не хочет ((((

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfALgTwA4FMAEBZTEEAhgOaYA8A5EQHzYC82ieBxZ2A9mNgBQCuAOwCWyALQ1qASgCwAKGCZk2IQOAqcAIw4APHpIbY52Y3iJDgW7QAUAThwDGrDjYB0AZWREbyHkZP+AkzBBZQFLbHE/QOiY7AUlG0x7OI4OdGwBAyjYnMCiCFQBewBvbNzygPiAQl4AW2wQFkJSCmo6ACpsAEECooAlTHRgVABhAAsiAQFMYHJBEQi6Nv1GFUsXAcchADdMPTKKw9qiZHsx7HqAdxFzg8Py5nxm9hsoHht7EB7C+wGh0YmUxmc2ESnE2GW4g+G0Gw3eMlk9yR2ESyD4NgENWAqXSAAY7sj/ABfQyIwmVHHYfFkwkI0loLDYWwOJw2PT0Iy1TC1DSYGzYZBjIQQFxWPhKHjaEAqZCSeiWPSijgQZBdAQwP5w4KZD7iJ5sHA8bV6cTaSRQD50rk8vkCoUisU+VAgFU2FQkOUKyRKlVqjWw1BGkK6mj6lq8Y2ScSoc2WoA=

без понятия работает или нет

Не сработает, но трюк понятен

Получается несколько инстансов мейлбоксов

ПО одному на каждый тип

Мда, проблема-то серьезная, получается

На самом деле я решаю проблему синхронизации чтения/записи данных из ssl stream

Проблема возникает, когда отрабатывают джобы, посылающие в канал сообщения и ждущие ответа

И как это нормально синхронизировать, не вполне понятно

Подскажите, как это без ResizeArray написать в каноническом фп?

Подскажите, как это без ResizeArray написать в каноническом фп?

Пайп?

Можно же на экспрешенах?

Да!

Типа seq { yield claim1 yield claim2 if smth then yield claim3 }

Ага, пасиб)

Хммм... заюзал мейлбокс для хранения состояния сессии, получилось весьма

Мутабельность без мутабельности

Очень круто

Завтра -таки прикручу обработку сообщений нормальную, т.к. сейчас стало понятно, как именно

Это сделать

Интересно, что получится, если скрестить мейлбокс с билдером

Смотрите что я накопал по Akka Persistance: https://bit.ly/2x9OlJ1. Этот F# сломался, все расходимся ?

А самое обидное что подходящих альтернативных сериализаторов похоже нет

А какой тип у deser?

obj?

obj?

obj

Я помню, что Бартош как-то писал, что вообще не пользовался Json для сериализации persistence, а вместо этого бы взял Protobuf, поддерживающий versioning.

А самое обидное что подходящих альтернативных сериализаторов похоже нет

Orleans / orleankka?

Я не про сериализаторы, но про акторы

А в приведённом примере Microsoft.FSharplu.Json не может помочь?

А самое обидное что подходящих альтернативных сериализаторов похоже нет

А "подходящий" — это какой? Какие требования?

А самое обидное что подходящих альтернативных сериализаторов похоже нет

А ещё есть же hyper-как-то там

А ещё есть же hyper-как-то там

Бывший wire по моему

Или там обязательно json?

? https://github.com/gsomix/blog/issues/1

Я помню, что Бартош как-то писал, что вообще не пользовался Json для сериализации persistence, а вместо этого бы взял Protobuf, поддерживающий versioning.

А других вроде и нет, Hyperion по референсится, messagepack не поддерживает f# типы

А других вроде и нет, Hyperion по референсится, messagepack не поддерживает f# типы

https://github.com/pocketberserker/MessagePack.FSharpExtensions

Но я не тестировал.

Спасибо за ссылки, на fspickler я бы попробовал. Но мне кажется в ньютонсофте ошибка всё-таки есть

А в приведённом примере Microsoft.FSharplu.Json не может помочь?

Он сырой ещё. Иногда при обыкновенной сериализации DU где-то в недрах падает null reference. Причем даже на кейсе без внутренних полей

Он сырой ещё. Иногда при обыкновенной сериализации DU где-то в недрах падает null reference. Причем даже на кейсе без внутренних полей

Ишшуй завел?

Ишшуй завел?

Нет, я раздолбай. Завтра заведу точно

Нет ишшуя — нет проблемы!

? https://github.com/gsomix/blog/issues/1

Chiron deprecated in favor fsharplu

Если правильно помню

У нас не очень сложные структуры, но нас он не подводил.

У нас не очень сложные структуры, но нас он не подводил.

Наигрывается крайне нестабильно. Я никакой закономерности не нашел

Кто шарит в Akkling.TestKit, этот тест всегда падает, это баг или "фича"? testDefault <| fun tck -> tck.Sys.Scheduler.ScheduleTellOnce( System.TimeSpan.FromSeconds 1., typed tck.TestActor, 2) expectMsg tck 2 |> ignore

https://github.com/ionide/ionide-vscode-fsharp/pull/795 ?

Видел часто пишут свои типы поверх примитивов. Есть какой-то вариант чтобы в web api сразу биндилось на модель с такими типами?

Кто шарит в Akkling.TestKit, этот тест всегда падает, это баг или "фича"? testDefault <| fun tck -> tck.Sys.Scheduler.ScheduleTellOnce( System.TimeSpan.FromSeconds 1., typed tck.TestActor, 2) expectMsg tck 2 |> ignore

Оказывается там встроен хитрый IScheduler, и это таки фича. testDefault <| fun tck -> tck.Sys.Scheduler.ScheduleTellOnce( System.TimeSpan.FromSeconds 1., typed tck.TestActor, 2) System.TimeSpan.FromSeconds 3. |> (tck.Sys.Scheduler :?> Akka.TestKit.TestScheduler).Advance expectMsg tck 2 |> ignore

Видел часто пишут свои типы поверх примитивов. Есть какой-то вариант чтобы в web api сразу биндилось на модель с такими типами?

Ты про Single Case DU?

Ты про Single Case DU?

Ага

Я в Giraffe ручками биндю, пробовал сериализаторы переписывать, но как только сталкиваешься с необходимостью вразумительной ошибки теряешь ясность происходящего и возвращаешься к ручному мапу.

list |> List.sortBy(fun (e:int) -> e) |> List.sumBy (fun (i:int) -> Convert.ToUInt64( i))

вот такой код в dotnet core 2 медленнее linq-версии в C# в 2 раза, а императивной(на голом цикле) в 4. Возможна ли оптимизация?

может, использовать Seq, а не List?

сейчас проверю

никакой разницы

а как бенчмаркал?

open System open System.Diagnostics open System.Numerics let rnd = Random((int) DateTime.Now.Ticks &&& 0x0000FFFF) let list = Seq.init 10_000_000 (fun i -> rnd.Next()) let watch = Stopwatch.StartNew() let loop () = watch.Restart() let sorted = list |> Seq.sortBy(fun (e:int) -> e) |> Seq.sumBy (fun (i:int) -> Convert.ToUInt64( i)) printfn "%A \t %A" watch.Elapsed sorted for i in 1..10 do loop ()

var rnd = new Random((int) DateTime.Now.Ticks & 0x0000FFFF); var list = new List<int?); for (int i = 0; i < 10_000_000; i++) list.Add(rnd.Next()); var watch = Stopwatch.StartNew(); for (int i = 0; i < 10; i++) { watch.Restart(); var copy = new List<int?list); copy.Sort(); ulong sum = 0; for(int j = 0; j < copy.Count;j++) sum += (ulong) copy[j]; Console.WriteLine($"{watch.Elapsed} \t {sum}"); }

а если создать не Seq.init, а List.init?

Seq.init, вроде бы, внутри создаёт ленивые объекты

так маленько пошустрей

больше нет идей =D

Alex Нужно понимать, что list в F# и List<'T> в BCL (или ResizeArray<'T> в F#) — это разные структуры данных, некорректно их сравнивать.

1. Зачем сортировка перед суммой? Она же только ресурсы отжирает. 2. Seq, List и т.п. всяко будут медленнее ResizeArray.Sort(), т.к. в последнем используется сортировка на внутреннем массиве, а не в новой структуре произвольной длины.

всяко будут медленнее ResizeArray.Sort() - вопрос в том как сделать в F# также или без вариантов?

всяко будут медленнее ResizeArray.Sort() - вопрос в том как сделать в F# также или без вариантов?

Использовать ResizeArray, если нужен перфоманс. :)

только чаще всего перфоманс в таких местах не очень-то и нужен :)

всяко будут медленнее ResizeArray.Sort() - вопрос в том как сделать в F# также или без вариантов?

Можно Array.init, и потом на нем же вызвать сортировку.

let arr = Array.init 20 (fun _ -> rnd.Next()) Array.sortInPlace arr ...

для начала не мешало бы сравнивать одинаковые наборы данных

let list = Seq.init 10_000_000 (fun i -> rnd.Next()) |> Seq.toArray + let sorted = list |> Array.sortBy(fun (e:int) -> e) |> Array.sumBy (fun (i:int) -> Convert.ToUInt64( i)) медленее на 30% чем core

ну и sort разный. если в фш юзать безпараметров как в c# то скорость еще подрастет

Кстати, еще один способ нашел создать бесконечный seq

Кстати, еще один способ нашел создать бесконечный seq

Чем отличается от остальных?

Seq.initInfinite

Seq.initInfinite

Лол