это бесспорно

но расширять её саму, оставляя мкутабельность - боль

поэтому нобежали с аггрегейтами

так понимаю

поэтому нобежали с аггрегейтами

с фолдами, простите мой акцент

но расширять её саму, оставляя мкутабельность - боль

Могу лишь сказать что я не согласен)

можешь!

Quod licet Iovi, non licet bovi.

Я кстати постоянно привожу в пример такую функцию let sum xs = let mutable sum = 0 for x in xs do sum <- sum + x sum У фпшников глаз дёргается, хотя функция чистее слезы девственницы

Неужели это работает быстрее библиотечного Seq.sum?

Неужели это работает быстрее библиотечного Seq.sum?

Бля

да не в том дело )

Я не использую эту функцию

Нет-нет

Я понял твой поинт

Это пример.

Я все предыдущие сообщения прочитал

Просто у меня вопрос к оптимизации функции sum

Пример, демонстрирующий использование мутабельности для получения тред сейф, супер пьюр функции

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

В коде я пользуюсь |> Seq.sum, да

Я слышал, что foreach в сишарпе вроде подстраивается под тип коллекции и оптимизируется в зависимрсти от того, имплиментирует ли она вдобавок еще и ICollection или IList или нет

А вот делает ли это Seq.sum?

Говорит ли # в сигнатуре о чем-то таком или нет?

Quod licet Iovi, non licet bovi.

Не знаю латыни

Пока

Я слышал, что foreach в сишарпе вроде подстраивается под тип коллекции и оптимизируется в зависимрсти от того, имплиментирует ли она вдобавок еще и ICollection или IList или нет

HERESY

foreach в C# (думаю, в F# тоже) действительно использует знание о типе коллекции. Но на ICollection и IList там никаких оптимизаций нету :)

Есть зависимость аллокаций от типа энумератора, предоставляемого коллекцией (структура или класс). Ну и на массивах всё ещё лучше работает, потому что они — особенные и под них много чего руками доделано.

в том что чистота - она для чего-то, а не сама по себе. Например для распаралеливания

Бред, хороший cas и низкоуровневый доступ куда полезнее. Чистота нужна - что бы писать простые, предсказуемые программы.

Говорит ли # в сигнатуре о чем-то таком или нет?

А я не вижу там # в сигнатуре 🤷‍♂️

https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/seq.sum%5B%5Et%5D-function-%5Bfsharp%5D

Но таки получается, что это инлайн?

Значит, очень хорошо будет использовать особенности переданного типа.

Бред, хороший cas и низкоуровневый доступ куда полезнее. Чистота нужна - что бы писать простые, предсказуемые программы.

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

https://twitter.com/sforkmann/status/1087599607671123969?s=12

https://twitter.com/sforkmann/status/1087599607671123969?s=12

Но сейчас проблемы ажурных функций решились кстати. Раньше их нельзя было без пакета юзать. Сейчас - можно

Но поинт нормальный, да

C#ерам сказали, если не хотите боли, вот вам лок файл для ПАКЕТА. - WTF is Paket?

Можно ж прекомпайленные заливать. Не?

Можно ж прекомпайленные заливать. Не?

один хер

В ажурных фциях рантайм прибит гвоздиками. Версии вот это всё

Azure Functions - это серверлесс технология от MS развивалась в начале как in-the-process, same-app-domain подгрузка твоего кода в некий рантайм. Для упрощения и обмазывания сахарочком, там в аппдомен уже подгружалось примерно ТЫЩА либ. Ну потому что там уже рантайм должен был работать с очередями (Azure.Storage.SDK), с боди хттп запросов (привет Newtonsoft.JSON) и прочей ебаниной, полный список - сотня либ

и если ты писал свою функцию, тебе надо было знать какие версии либ в рантайме загружаются, т.к. биндинг редирект не завезли (твои либы просто копировались в магическую папку и все твои app.config игнорились нахуй)

Это было хождение по минному полю от ManifestMismatch Expcetion до MethodNotFoundException

Это было хождение по минному полю от ManifestMismatch Expcetion до MethodNotFoundException

Да уж...

пока MS не пришли к Форкману (автору Paket) и не попросили его помочь с ужасом в транзитивных зависимостях

Форкман добрая душа сделал в paket отдельную фичу - external lock file

которая работает так - ты можешь в своё dependency файле потаргетить внешний лок файл с зависимостями, который будет работать как базовый. Сверху накрутить своих хотелок. Пакет попытается составить граф на основе внешнего лок файла и скажет тебе что ты мудак и ничего не собирается ДО того как ты загрузишь всё в рантайм

Фича охуенная, MS внедрили пакет в Azure Functions v1 и выложили лок файл как рекомендуемый способ на страдать 24/7

В ажурных функциях V2 они накостыляли как боги чтобы их либы которые пользует рантайм не конфликтовали с твоими, но при этом JObect возвращаемый рантаймом нормально кастился без ексепшнов в JObject юзера

поэтому там пакет почти не нужен

и если ты писал свою функцию, тебе надо было знать какие версии либ в рантайме загружаются, т.к. биндинг редирект не завезли (твои либы просто копировались в магическую папку и все твои app.config игнорились нахуй)

https://github.com/Azure/azure-functions-host/issues/2446

В ажурных функциях V2 они накостыляли как боги чтобы их либы которые пользует рантайм не конфликтовали с твоими, но при этом JObect возвращаемый рантаймом нормально кастился без ексепшнов в JObject юзера

Выглядит довольно сомнительно

Выглядит довольно сомнительно

Да. Но работает

почему функции тащат рантайм а не дают тебе паблишить под них?

почему функции тащат рантайм а не дают тебе паблишить под них?

ммм... Не понял вопрос

странная архитектура

ну типо в условиях неткора устроили как полный фреймворк

почему функции тащат рантайм а не дают тебе паблишить под них?

Мб они там шарят этот рантайм между сотнями приложений

аля вот 4.5 - ебитесь

)

ну типо в условиях неткора устроили как полный фреймворк

Azure Functions V1 на полном фреймворке

Azure Functions V2 на неткоре

у них щас планы сделать как в aws Lambda - вывести код юзера out-of-process через grpc

у них даже протокол уже есть

Мб они там шарят этот рантайм между сотнями приложений

но тогда можно было сделать как образ докера? aspnet-runtime-2.2 условно и поехал.

на grpc :)

но тогда можно было сделать как образ докера? aspnet-runtime-2.2 условно и поехал.

ну он есть, да.

но тогда можно было сделать как образ докера? aspnet-runtime-2.2 условно и поехал.

Можно было. Но им оказалось проще сделать эдакий external BOM

Можно было. Но им оказалось проще сделать эдакий external BOM

ball of mud?

ball of mud?

Вообще bill of materials, но твой вариант мне нравится больше.

Вообще bill of materials, но твой вариант мне нравится больше.

как давно я не слышал этого сокращения...

Вообще bill of materials, но твой вариант мне нравится больше.

а твоя фраза откуда?

а твоя фраза откуда?

У Maven'а есть такое понятие — это отдельный файлик, в котором версии доступных зависимостей описаны. Если ты потом в приложение включаешь зависимость, то она включается именно той версии, которая указана в BOM. Что-то типа external lock file с запасом, так скажем. Т.е. в нём перечислены все возможные зависимости, а ты себе берёшь только какие надо.

кстати, вот лок файл для V1 https://github.com/Azure/azure-functions-host/blob/v1.x/src/azurefunctions-v1-paket.lock зацените кол-во говна

кстати, вот лок файл для V1 https://github.com/Azure/azure-functions-host/blob/v1.x/src/azurefunctions-v1-paket.lock зацените кол-во говна

Лол даже автофак :)

и если вы подгрузите какой-нибудь я хз Posgtre Driver ну чтобы пообщаться с БДшечкой из своей функции, а он случайно подгрузит транзитивно какой-нибудь Microsoft.AspNetCore.Http.Abstractions, то тобi pizda в рантайме, т.к. всё запустится, но наебнётся уже в процессе

потому что в рантайме уже загружен Microsoft.AspNetCore.Http.Abstractions (1.0.2)