Я бы не был так уверен, что все скомпилируется оптимальным образом. В visualfsharp очень долго пытаются заставить Seq работать так, чтобы все компилировалось правильно, а операции фьюзились.

ну по графикам вся эта штука всего в 1.5-2 раза медленней взятия одного элемента из массива по индексу, так что скорее всего ок

Кстати да, например такой код: [0..10] |> Seq.map (fun x -> x * x) |> Seq.skip 5 Сделает сперва map всех элементов, а затем пропустит 5

Я сначала прочитал, будто там у тебя Seq.take 5, и поэтому возмутился.

https://repl.it/KWI1/0

Хотя казалось бы можно оптимизировать

Хотя казалось бы можно оптимизировать

Почти наверняка не стоит. Если пользователь написал так, то и должно быть именно так. Мало ли каких побочных эффектов он туда насуёт.

Почти наверняка не стоит. Если пользователь написал так, то и должно быть именно так. Мало ли каких побочных эффектов он туда насуёт.

Проблема пользователя)

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

Но много ли ты так для продакшена наоптимизируешь? Какая будет выгода? Часто такой код в реальности пишут?

(у меня статистики нет и я не берусь предполагать; может быть, много, а может и мало)

Все же я считаю, там засада в десериализации

Двойной map тоже не оптимизируется

Двойной map тоже не оптимизируется

А вот это как раз можно (пытаться) оптимизировать, тут соглашусь.

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

Есть же уже. Nessos Streams.

Двойной map тоже не оптимизируется

должен, я проверял)

не тут, где-то в другом месте

Есть же уже. Nessos Streams.

О, надо посмотреть.

Nessos streams, кстати, довольно -таки шустрые, насколько я помню по бенчмаркам

должен, я проверял)

https://repl.it/KWI1/1

Не оптимизирует)

https://repl.it/KWI1/1

А чего должен оптимизировать-то?

Привет! Признавайся, ты бот?

А чего должен оптимизировать-то?

А я и не знаю)

Вроде тут как раз нормально: функция 2 вызвалась только для тех записей, в которых функция 1 вернула больше 10.

Речь была про оптимизацию вот этого

Подскажите, пожалуйста. Я правильно помню, что цепочки с Seq не очень быстро работают? Например, из кода: |> Seq.map (fun key -> visits.[key]) |> Seq.filter (filterByQueryVisit query) |> Seq.map (fun visit -> { mark = visit.mark; visited_at = visit.visited_at; place = locations.[visit.location].place}) |> Seq.sortBy (fun v -> v.visited_at)

все же норм)

убери фильтр

и будет 1, 2, 1, 2

т.е. цикл пробегается один раз а не два

убери фильтр

Но у тебя то с фильтром)

А, хотя оно может его и в один цикл прогоняет

Так то да, не понятно

Если бы был не 1 проход, то не 1 2 1 2 было бы, а 1 1 1, 2 2 2

Если бы был не 1 проход, то не 1 2 1 2 было бы, а 1 1 1, 2 2 2

Да, точно

Ладно. Мой вопрос всё-таки касался сортировки по большей части.

Но если все быстро, то норм.

И всё же, я бы хранил в SortedDictionary отсортированными по дате ;)

И всё же, я бы хранил в SortedDictionary отсортированными по дате ;)

Толку нет, я же беру юзера и хочу найти все его посещения отсортированные по дате.

я нахожу нужные мне айдишки локаций, выбираю локации по айдишке, как они чудесным образом окажутся отсортированными по дате?)

вот что можно осортировать по дате так это айдишки локаций

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

Кстати да

Айдишки проще отсортировать

только непонятно когда их сортировать

на тему профайлеров, еще вот это случайно увидел: https://aloiskraus.wordpress.com/2017/08/17/memanalyzer-v2-5-released/

может оно поможет?

Спасибо) может и поможет, если снова с GC будем бороться) я пока все никак до перфоманс профайлинга не доберусь, как доберусь скажу результаты

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

Спасибо) может и поможет, если снова с GC будем бороться) я пока все никак до перфоманс профайлинга не доберусь, как доберусь скажу результаты

https://mnie.github.io/2017-08-17-performanceTestsUsingFsCheck/

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

yield

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

отдельный поток + blockingQueue

отдельный поток + blockingQueue

А как его запускать? Я делаю Task.Run, и он вылетает когда умирает thread который его вызывал

Запускать поток?

Прост new Thread(() => {foreach x in queue.GetConsumingEnumerable() {doWith(x)}}).Start()

оки, спасибо

если хочешь обратной связи от этого треда, то можно засылать в очередь вместе с твоим объектом TaskCompletionSource и когда закончил делать дела в треде сетить его

не, не хочу, просто хочу чтобы он не умирал вместе с потоком запроса

так тред стартовать надо не в потоке запроса, а где-то в другом месте. В потоке запроса тебе надо класть в очередь что-то

а где его стартовать) только в статическом классе значит, как я и сейчас делаю с мейлбоксом, так?

ну да

альтернативу мейлбоксу же просил, вот это в чистом виде оно. Очередь+бэкграунд воркер

не обязательно в статическом, но где-то один раз.

Господа, кто-нибудь собирал F#-приложения на .NET Core в x86-режиме? Хочу свою программу проверить под 32 битами, и не могу понять, как её собрать в этом режиме ~_~

dotnet build -r win10-x86 ругается на какие-то недостающие ассеты.

Кажется, разобрался. Надо было делать так: dotnet restore -r win10-x86 dotnet publish -c Release -r win10-x86

по идее уже рестор помог, паблиш необязательно)

Не, рестор обязательно делать с указанием «ненативного» рантайма.

да, я про это и говорю

Я опубликовал, но как теперь запускать? %) Похоже, у меня 64-битный dotnet. Как и где брать 32-битный — непонятно.

https://www.microsoft.com/net/download/core - тут вроде есть x86 инсталлеры)

Ладно, я решил, что мне не очень это надо :)

http://clip2net.com/s/3NaA0ml

Пытаюсь перенести пример из документации из C# в код на F#: код из примера: var client = new AmazonDynamoDBClient(); var table = Table.LoadTable(client, "AnimalsInventory"); var item = table.GetItem(3, "Horse"); Код на F#: let client = new AmazonDynamoDBClient() let table = Table.LoadTable(client, "Subscriptions") let item = table.GetItem("0") Страшно ругается: error FS0039: The field, constructor or member 'GetItem' is not defined. Maybe you want one of the following:↔️ GetItemAsync↔️ GetType [C:\Users\mpotanin\wg\exp\FSharp-Template-for-Aws-Lambda\FSharp-Template-for-Aws-Lambda.fsproj] Заменяю GetItem на GetItemAsync - ругается еще страшнее: error FS0041: No overloads match for method 'GetItemAsync'. The available overloads are shown below (or in the Error List window). [C:\Users\mpotanin\wg\exp\FSharp-Template-for-Aws-Lambda\FSharp-Template-for-Aws-Lambda.fsproj] Как с этим бороться?

Начнём с того, что у тебя для GetItem явно другое количество аргументов.

Ну и компилятор чёт говорит, что вообще нету такого метода. А на самом деле есть? Точно?

Может, это экстеншен какой-то?

(в F# экстеншены работают так же, как в C# — нужно просто открыть нужный неймспейс)

ну и тип у первого аргумента разный

Я не знаю — может, так и нужно. Может, там метод принимает params-массив для какого-то запроса к таблице.

Добавление аргументов не помогает. В документации тип аргумента Primitive. По смыслу это ключ в таблице, котрый может быть и строкой и числом. А как узнать, что это экшен?

http://clip2net.com/s/3NaA0ml

а дерево вызовов для запроса удалось получить?

Так значит там implicit конверсии работают на Primitive https://stackoverflow.com/questions/10719770/is-there-anyway-to-use-c-sharp-implicit-operators-from-f можно сделать как тут советуют, а можно создавать тип Primitive явно

Добавление аргументов не помогает. В документации тип аргумента Primitive. По смыслу это ключ в таблице, котрый может быть и строкой и числом. А как узнать, что это экшен?

Определить, что это экстеншен, можно было бы по документации. Можешь дать ссылку на неё?

А то я не могу там найти никаких Table.LoadTable, а тут это критический кусочек паззла.

http://docs.aws.amazon.com/sdk-for-net/v2/developer-guide/dynamodb-intro.html

Всё, что я нашёл — это вот это: http://docs.aws.amazon.com/sdkfornet/v3/apidocs/index.html?page=DynamoDBv2/MDynamoDBv2DynamoDBGetItemGetItemRequest.html Но там сигнатура и класс немного другие.

а дерево вызовов для запроса удалось получить?

я что-то пока не очень научился пользоваться этим DT =) может попозже еще попробую

http://docs.aws.amazon.com/sdk-for-net/v2/developer-guide/dynamodb-intro.html

Я там в API reference тоже не могу найти, что такое Table :(

Я же правильно понял, что Table.LoadTable это какой-то статический метод?

Во! http://docs.aws.amazon.com/sdkfornet/latest/apidocs/items/MDynamoDBv2DocumentModelTableLoadTableIDynamoDBStringNET35.html

http://docs.aws.amazon.com/sdkfornet/latest/apidocs/items/MDynamoDBv2DocumentModelTableGetItemPrimitivePrimitiveNET35.html — таки пишут, что есть такой метод у Table.

ну так проблема явно в имплисит конверсиях, ф шарп их не может просто так делать, ему надо либо подсказывать, либо не использовать их

http://docs.aws.amazon.com/sdkfornet/latest/apidocs/items/TDynamoDBv2DocumentModelPrimitiveNET35.html — вот класс примитива, можно просто конструкторы у него вызвать попробовать.

угу

Вот так: let item = table.GetItem(Amazon.DynamoDBv2.DocumentModel.Primitive "0")

Вот так: let item = table.GetItem(Amazon.DynamoDBv2.DocumentModel.Primitive "0")

Спасибо, откомпилировалось.