https://msdn.microsoft.com/ru-ru/library/dd386941(v=vs.110).aspx

Вот правильный тупль

В жаве фиксит, у нас тоже обещали escape analysis сделать

в жаве это так? https://dzone.com/articles/escape-analysis

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

на как и предполагалось https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWAChjgFsUAPFAChoEMAaAIwEoV6IVt2BeYlIJQBLMBxQA+FM24ALZNxQJgEBLSYAGVgKGlyKPPWGoafFDsFwATsexhUAIgCkAQQcoAPFCq0AjIwAmViA=

А глупый вопрос: это такой код генерит компилятор f#?

нет, это такой код генерит декомпилятор из IL в C#

:D

но в целом оно

нет, это такой код генерит декомпилятор из IL в C#

Т.к. вопрос глупый, уточню. Это не сарказм?

Т.к. вопрос глупый, уточню. Это не сарказм?

вообще не сарказм. Ты ж не думал что компилятор F# выдаёт C# код?

переключи справа на IL, вот тогда будет то что выдаёт компилятор F#

вообще не сарказм. Ты ж не думал что компилятор F# выдаёт C# код?

После вынужденного насильственного изучения typescript , я уже ко всему готов.

просто в силу того что C# более императивный и чо уж там низкоуровневый язык, на нём смотреть скомпиленное на F# проще чем в IL пялить

в IL там тоже две аллокации на одном пути и одна на другом. кошмар, по-моему

переключи справа на IL, вот тогда будет то что выдаёт компилятор F#

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

на самом деле это примерно никак не сказывается на скорости кода

просто в силу того что C# более императивный и чо уж там низкоуровневый язык, на нём смотреть скомпиленное на F# проще чем в IL пялить

Боже храни декомпиляторы. )

продуктовый код на 99% состоит из IO

и 1% задач на числодробилки, для которых можно и постараться.

продуктовый код на 99% состоит из IO

Всмысле из выделений памяти под переменные?

ага

тут же явная аллокация тупля на куче. А то и двух. Ужас, думаю я. А потом думаю - пофигу, у меня все задачи - это ожидание даталейка

нет, это такой код генерит декомпилятор из IL в C#

там и в il тупля

там и в il тупля

но ссылка была на C# код) я просто побуквоедил в том, что FSC генерит не C#, а IL

Ой давным давно была статья про вред параноидальной оптимизации. Просто шикарная. Я из-за неё почти бросил c++

Ой давным давно была статья про вред параноидальной оптимизации. Просто шикарная. Я из-за неё почти бросил c++

Я намного продуктивнее на F#. REPL ускоряет разработку раза в 2. А то что там тупли на куче... Ну да. Пойду поем.

Я намного продуктивнее на F#. REPL ускоряет разработку раза в 2. А то что там тупли на куче... Ну да. Пойду поем.

Яко и python, но бесит отсутствие типизации. Приятного.

Я намного продуктивнее на F#. REPL ускоряет разработку раза в 2. А то что там тупли на куче... Ну да. Пойду поем.

А репл ещё на кор не завезли?

А репл ещё на кор не завезли?

Нормальный нет.

Бывают ситуации когда тапл на куче очень даже сказывается на производительности. Из за этого не везде фшарп можно пользовать.

К сожалению

Бывают ситуации когда тапл на куче очень даже сказывается на производительности. Из за этого не везде фшарп можно пользовать.

Но есть же struct tuple если надо

Но есть же struct tuple если надо

их уже завезли? Я похоже отстал от жизни.

Ого. Больше года уже как. А мапа на tryFind умеет такую возвращать?

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

Хм, ты прав, тут всё грустно. К тому же, если вдруг начальный тупль кто-то снаружи начнёт мутировать, у нас ничего не сломается.

Ого. Больше года уже как. А мапа на tryFind умеет такую возвращать?

Хороший вопрос, надо бы посмотреть FSharp.Core, а то и написать пропозал.

Профайлер показывает создание кучи таплов в хипе.

Время жизни короткое, но сборщик мусора пашет

Профайлер показывает создание кучи таплов в хипе.

Я у себя успешно это затыкал структурными туплями и структурными юнионами, потребление памяти падало процентов на 80 (на специфичном ворклоаде).

Ну, там я сам себе создавал мемори трафик, своими объектами.

Я в итоге переписал на цшарпе с дикшинари. На 7 цшарпе out var поэтому смирился

Я в итоге переписал на цшарпе с дикшинари. На 7 цшарпе out var поэтому смирился

А у нас разве нету того же самого?

Ну окей, out var нету, но наш мап, по крайней мере, реализует тот же шарповый интерфейс, так что можно лаконично сделать как надо.

оптимизация как понятие отсуствует

https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWAChjgFsUAPFAChwCcBXAYwpoEMAaAIwEoV2EFNn4BeYikkoAlmAEoAfCm7CAFsmEoEwCAhQMWbLgAZeEqaXIo87aahpiU5yXHp3sYVACIApAEEvFAAeKCpaA1YaAEZOACZeXiA==

Забавно

Тут есть

Хотя тут надо всё-таки подумать, как оно себя будет вести с мутабельными структурами, например. Семантика поменяется.

Смотри, если у меня мутабельные структы лежат в тупле, то родитель их может изменить. Если F#-компилятор будет оптимизировать этот кейс и передавать туплю как есть, то вызываемая функция сможет увидеть мутированные структуры из родительской тупли. При обычном вызове с передачей страктов по значению они копируются и вызванный код не сможет увидеть их мутации.

Кажется, оптимизация невалидна!

Смотри, если у меня мутабельные структы лежат в тупле, то родитель их может изменить. Если F#-компилятор будет оптимизировать этот кейс и передавать туплю как есть, то вызываемая функция сможет увидеть мутированные структуры из родительской тупли. При обычном вызове с передачей страктов по значению они копируются и вызванный код не сможет увидеть их мутации.

Так он может определить где мутабельная структура.

Так он может определить где мутабельная структура.

А вот хрен его знает, в самом деле.

Есть довольно много способов помутировать структуру так, что наша оптимизация сломается (рефлекшеном тем же).

На такое закладываться нельзя

Тут автор сам, умышленно, себе в ногу стреляет

На такое закладываться нельзя

Имхо, компилятору нельзя на такое закладываться.

А то будут траблы а-ля «в C# у меня вызов работает, а F#-компилятор всё испортил».

Рефлекшен — это совершенно стандартный platform facility с известным поведением, и использует его очень много кто (всякие сериалайзоры и пр.). Нельзя на него просто положить болт.

Плюс, я не уверен, что это простая задача для нашего компиля — понять, какая структура является публично мутабельной, а какая нет.

Особенно учитывая особенности компиляции под .NET Standard.

Особенно учитывая особенности компиляции под .NET Standard.

А что с ней?

(там же настоящих тел у структур нету, только затычки какие-то)

Аааа

Это да. Каждый сам ваяет как видит

Егор ещё жаловался, что у него внезапно начал компилироваться какой-то совершенно дурной код типа Guid x; return x;

А раньше так не работало? Структуры же можно так создавать, в отличие от классов. А вот возвращать хз

Интересно, кстати, а F# умеет работать с недоинициализированными структурами? Можно ли в нём воспроизвести тот же трюк?

Ну будет нулевой гуид)

А раньше так не работало? Структуры же можно так создавать, в отличие от классов. А вот возвращать хз

Это работает только если ты руками инициализировал все поля в структуре. Для случая компиляции в .NET Standard в структуре не было объявленных полей, т.е. они все считались инициализированными

В нормальном кейсе это не сработает, потребуется инициализация полей.

Т.е. сам интент валидный, но именно вот этот сниппет работать не должен.

продуктовый код на 99% состоит из IO

представь что ты ежедневно пользуешься софтом у которого 99% это не IO. и он нехило так тормозит изза вот этого всего кошмара

представь что ты ежедневно пользуешься софтом у которого 99% это не IO. и он нехило так тормозит изза вот этого всего кошмара

Запросто. Любая CAD система

не угадал. это сам F# компилятор

чиорт

а ты прав

где можно посмотреть толковую имплементацию Heap's algorithm на F#?

не угадал. это сам F# компилятор

Окей, хороший пример.

https://twitter.com/safe_stack/status/1026877175474122753?s=19

представь что ты ежедневно пользуешься софтом у которого 99% это не IO. и он нехило так тормозит изза вот этого всего кошмара

вроде так с struct options пытались сделать и всё вроде сломалось)

в компиляторе

вроде так с struct options пытались сделать и всё вроде сломалось)

что именно сделать то?

что именно сделать то?

все option сделать структурами

все option сделать структурами

ну это другой случай

хотя конечно загадочно

@fvnever @neftedollar ^

?

Привет, мы тут в ozonru теперь стали проводить митапы в мск-сити, если кто-то хочет просветить про f#, будем очень рады видеть и слышать :) например Ayrat или @neftedollar

Привет, мы тут в ozonru теперь стали проводить митапы в мск-сити, если кто-то хочет просветить про f#, будем очень рады видеть и слышать :) например Ayrat или @neftedollar

Мне не о чем особо рассказать сходу. А вот у Айрата уже есть пара докладов.

А когда митап то?

А когда митап то?

Да нет конкретного митапа, если бы набралось пару докладов, можно устроить