Здесь, правда, еще накладываются какие-то проблемы .NET Core под Windows.

И опять же, здесь тест не совсем корректный

Не учитывается работа GC

Вызовется у тебя функция 100.000 раз, а потом GC будет 2 секунды тупить

Здесь, правда, еще накладываются какие-то проблемы .NET Core под Windows.

В макоси и убунте отличия не такие сильные.

Вызовется у тебя функция 100.000 раз, а потом GC будет 2 секунды тупить

¯\_(ツ)_/¯

Я думаю, это более редкий кейс.

Когда все начинает упираться в GC.

Когда все начинает упираться в GC.

Но кейс очень неприятный

Если у тебя глубокое дерево вызовов с пробросом внешних значений, то reference types выигрывают.

Я скорее думаю что там куча классов насоздавалась чтобы замыкания хранить

Я скорее думаю что там куча классов насоздавалась чтобы замыкания хранить

Они в обоих случаях создаются.

Ок, надо будет генерируемый код посмотреть.

Угу

На самом деле разница не должна быть такой эпичной, как показывают тесты под Windows.

https://sharplab.io/#v2:DYLgZgzgPsCmAuACATrCBXY8Bi6B2iAHogJ6IC8RiUAfIgEpqbwB0ARgJZ4AmiAFGHyIA+ogC0dEgEoAsACh5qDFlwE+AeQDWiAAxT+W3fvm0GTLOy68BQ4hPmJHjpc1UHtARn0bPsuU8dTRmVWTh5+QQIye38AuJcVIR9EACZvQzSHOICg81CrCKEAL3EaLOz4vLdkgGZ07TryiqdckMtwmwIAC1Km5oDDPmIAalJEUZLRrqkZmeo6DgBzPAB7VCA==

Все таки "1 reference" против "int tag + 2 references".

https://sharplab.io/#v2:DYLgZgzgPsCmAuACATrCBXY8Bi6B2iAHogJ6IC8RiUAfIgEpqbwB0ARgJZ4AmiAFGHyIA+ogC0dEgEoAsACh5qDFlwE+AeQDWiAAxT+W3fvm0GTLOy68BQ4hPmJHjpc1UHtARn0bPsuU8dTRmVWTh5+QQIye38AuJcVIR9EACZvQzSHOICg81CrCKEAL3EaLOz4vLdkgGZ07TryiqdckMtwmwIAC1Km5oDDPmIAalJEUZLRrqkZmeo6DgBzPAB7VCA==

Спасибо, я это видел.

Я склоняюсь к тому, что reference types по умолчанию — это скорее благо.

Но неплохо было бы иметь value type варианты в стандартной библиотеке.

Если сделают отличный GC, то не критично будет

Надо завести где-нибудь список ближайших мероприятий. :) @neftedollar

На сайт бы было бы неплохо такое поместить.

Надо завести где-нибудь список ближайших мероприятий. :) @neftedollar

Коммиты принимаются

Коммиты принимаются

Ага.

Ага.

Там есть сервер, который пока не запустил. Лучше сразу туда.

Будет хоть мотивация его выпустить)

Кто-нибудь следит за ситуацией с провайдерами под .NET Core?

https://github.com/Microsoft/visualfsharp/issues/2406#issuecomment-341403507

Я уже плохо понимаю, какие проблемы были решены, а какие остались.

@sergey_tihon @nevoroman @fvnever @Dolfik ^

Всех потревожу!

Всех потревожу!

Опередил

У меня уже в буфере была ссылка!

Опередил

Так что все это значит?

Так что все это значит?

Значит, что тайп провайдеры можно юзать под кором?

И Сайм теперь перейдёт к чему-то другому

Мне лично понравилась "Братко Иван - Программирование на языке Пролог для искусственного интеллекта".

Спасибо!

Видели же эту библиотеку сниппетов? https://github.com/palladin/fsharp-snippets/tree/master/src/FSharpSnippets

Там всё прекрасно. :)

Видели же эту библиотеку сниппетов? https://github.com/palladin/fsharp-snippets/tree/master/src/FSharpSnippets

Крутая штука

Внезапынй вопрос: в F# всё ещё порядок файлов в проекте значим и в "более верхних" определениях нельзя пользовать "более нижние"? Или я проспал революцию и уже давно все свободны?

Внезапынй вопрос: в F# всё ещё порядок файлов в проекте значим и в "более верхних" определениях нельзя пользовать "более нижние"? Или я проспал революцию и уже давно все свободны?

Значим.

Значим.

Но есть рекурсивные модули)

Эх... Печаль

Ещё и naked expressions, небось, разрешены? :)

Ещё и naked expressions, небось, разрешены? :)

Да, конечно.

Эх..

Предложение убрать явный порядок файлов не пользуется популярностью. https://github.com/fsharp/fslang-suggestions/issues/7

Ну если есть naket exps и ими пользуются для side effects, то убирание влияния порядка кому-то что-то сломает

Как-то для ML-ей логично иметь независимость от порядка определений в файле и уж тем более от порядка файлов в проекте

Ну если есть naket exps и ими пользуются для side effects, то убирание влияния порядка кому-то что-то сломает

Нет, так нельзя.

Naked expressions допустимы на самой верхушке, рядом с точкой входа, в том же файле.

Сайдэффекты там всё же можно?

Сайдэффекты там всё же можно?

Да.

Хмм. Ну если только "в начале", то ещё можно потерпеть. Только вот при отвязывании порядка файлов от значимости будут проблемы, либо придется иметь специальный "первый модель"

Не очень большая проблема.

Ну и вообще, нужно разобраться изначально в чем причина тормозов

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

Здесь, правда, еще накладываются какие-то проблемы .NET Core под Windows.

Что за проблемы? Давайте их изучим!

Что за проблемы? Давайте их изучим!

Под Windows (.NET Core) результат намного хуже получается, чем в Ubuntu и MacOS.

Если у тебя глубокое дерево вызовов с пробросом внешних значений, то reference types выигрывают.

Есть мысль избавиться от пробросов за счёт указателей на стек. Но там надо думать много, конечно. Eventually, тут поможет escape analysis, когда CLR научится его нормально делать.

Под Windows (.NET Core) результат намного хуже получается, чем в Ubuntu и MacOS.

А потом придёт Сайм и скажет day of work

Если сделают отличный GC, то не критично будет

*JIT, который позволит GC отдыхать большую часть времени

А потом придёт Сайм и скажет day of work

Проблема не в компиляторе.

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

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

Почему ты все хочешь поломать?

Там есть сервер, который пока не запустил. Лучше сразу туда.

Пинайте меня по выходным, я могу разбудить своего внутреннего Сайма и запилить всё нужное за день. Или за два :)

Почему ты все хочешь поломать?

Чтобы сделать всё хорошо :)

Я уже плохо понимаю, какие проблемы были решены, а какие остались.

Я так понимаю, осталась проблема в дизайн-тайме? И она как-то костыльно решается каким-то prop-файлом для MSBuild?

Чтобы сделать всё хорошо :)

Я считаю, что здесь нет никакой проблемы со стороны компилятора или стандартной библиотеки.

Внезапынй вопрос: в F# всё ещё порядок файлов в проекте значим и в "более верхних" определениях нельзя пользовать "более нижние"? Или я проспал революцию и уже давно все свободны?

Порядок значим, и мы научились этим наслаждаться.

Стокгольмский синдром?

Возможно ?

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

И анализировать его на нелокальные циклические зависимости.

Это интересная идея, как мне кажется.

Да не должен вообще порядок влиять, на то и декларативный язык

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

Большого ума не нужно, чтобы такое выдумать. Я же тебе вчера это предлагал запилить.

Да не должен вообще порядок влиять, на то и декларативный язык

Дак он и не влияет. Просто в одной конфигурации собирается, а во второй не собирается — вот и всё влияние :)

Заставляет расолагать определения не согласно желанию, а согласно логике компилятора, значит влияет :)

Если хочется — можно весь проект сунуть в один файл. В пределах файла порядок определений ни на что не влияет (если накрыть специальным флагом).

Но я пока не видел тех, кому такого хочется.

по-моему тогда все объявления нужно объединять через and ?

Большого ума не нужно, чтобы такое выдумать. Я же тебе вчера это предлагал запилить.

Позавчера!

по-моему тогда все объявления нужно объединять через and ?

Ты пропустил введение rec module/namespace

Это 4.2, кажется?

Короче, в них не нужно and.

Это 4.2, кажется?

4.1

А, ой, 4.2 ещё не вышел :)

О, чуваки, слушайте, а что с документацией у F#?

В смысле, вот я заметил там косяки и хотел бы наконтрибьютить.

Но в прошлый раз меня с контрибьюциями послали нафиг, потому что куда-то там что-то мигрировали.

В смысле, вот я заметил там косяки и хотел бы наконтрибьютить.

https://github.com/MicrosoftDocs/visualfsharpdocs/

Ждем ваших контрибуций!

https://github.com/MicrosoftDocs/visualfsharpdocs/

https://github.com/MicrosoftDocs/visualfsharpdocs/pull/265

Уже скоро год исполнится :)

Короче, похоже, разморозили контрибьюции, можно потыкаться.

Надо их расшевилить.