Анонимных рекордов иногда оч не хватает)

+

Ладно, если не "очень не хватает", то хотя бы просто в некоторых случаях думаешь, что могли бы пригодиться.

Интересно как они с srtp будут работать

Судя по RFC, должны работать нормально.

О, смотрите, Сайм продолжает работать на анонимными записями! https://github.com/Microsoft/visualfsharp/pull/4499

кайф

Что должно быть. let inline getX (x: ^TX) : ^X = (^TX : (member get_X : unit -> ^X) (x)) getX {| X = 0 |} getX {| X = 1; Y = "abc" |} getX {| X = 2; Y = "2" |}

Кстати, есть ли возможность при компиляции F# библиотеки (в частноси Net Standart) зачищать [исправил опечатку] пространства имён от метаданных для облегения веса библиоткеки? Например при сборке на UWP можно вырезать очень много без ущерба работе, но там это всё в специальном xml файле указывается из коробки.

Сложный вопрос. F# очень много важного хранит в метаданных.

Сложный вопрос. F# очень много важного хранит в метаданных.

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

О, смотрите, Сайм продолжает работать на анонимными записями! https://github.com/Microsoft/visualfsharp/pull/4499

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

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

Что выпиливает?

анонимные рекорды

Когда они были?

давно.. в DU

давно.. в DU

Это совсем другое.

по факту тоже самое. то что щас это предоставляется в немного другой обертке существенной роли не играет

по факту тоже самое. то что щас это предоставляется в немного другой обертке существенной роли не играет

Нет, это не то же самое. Тип записей в DU объявлялся явно, они были номинальные.

Нет, это не то же самое. Тип записей в DU объявлялся явно, они были номинальные.

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

Что должно быть. let inline getX (x: ^TX) : ^X = (^TX : (member get_X : unit -> ^X) (x)) getX {| X = 0 |} getX {| X = 1; Y = "abc" |} getX {| X = 2; Y = "2" |}

А с обычными рекордами это работает?

А с обычными рекордами это работает?

Да.

Да.

Огонь. Раньше пробовал подобное, только без префикса get_, и очень расстроился)

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

Разница как между явным описанием класса-реализации и использованием object expression.

Оооо! HR в чате! Победа!!

Привет!

Оооо! HR в чате! Победа!!

Через ваш профиль собственно и вышла)) Сначала на сайт, а потом уже и сюда)

Я что-то затупил и не перенес сообщение в @microsoftstackjobs. Ну, ладно.

Через ваш профиль собственно и вышла)) Сначала на сайт, а потом уже и сюда)

А что за профиль? На сайт это наверное ВК.

Я что-то затупил и не перенес сообщение в @microsoftstackjobs. Ну, ладно.

Какое сообщение?

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

по поводу EF - я пробовал, остановился на Type Providers - мне так удобнее

хотя, если нужно что-то не стандартное - найти информацию на порядок сложнее, чем в EF

и это минус TP

А что за профиль? На сайт это наверное ВК.

Там цепочка длинная: сначала на Amazinghiring, затем на linkedIn, оттуда в ВК, затем на сайт сообщества F# и вот теперь я здесь))

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

Я про F# специфичные штуки, да. Например, информация о том, чем является определенный класс из IL в контексте F#. А что с тормозной работой объединений?

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

Спасибо, за поддержку в плане "BigData" на стороне клиента, а то люди не верят

это не столько Big Data, сколько справочная информация

которой действительно может быть несколько гигабайт

как правило потребность в ней возникает тогда, когда есть требование работы с ней в offline

Там цепочка длинная: сначала на Amazinghiring, затем на linkedIn, оттуда в ВК, затем на сайт сообщества F# и вот теперь я здесь))

А вы то предпочитаете, тайп провайдеры или интити фреймуок?

Я про F# специфичные штуки, да. Например, информация о том, чем является определенный класс из IL в контексте F#. А что с тормозной работой объединений?

Видел результаты сравнения match выражений для перечислений и юнионов, в силу чего юнионы проседают, рефлексия какая или где посмотреть (мб GitHub)?

Видел результаты сравнения match выражений для перечислений и юнионов, в силу чего юнионы проседают, рефлексия какая или где посмотреть (мб GitHub)?

Покажите!

там копеечная просадка. по сравнению с запросом в 500 мс к локальной базе ее невозможно заметить

Интересно, с каких пор HR интересуются f#

Хотя лестно, да

Ты видел зарплаты?! HR получает процент от найма.

Поэтому и стремятся в чаты самых успешных программистов

правда, вакансия, которую девушка опубликовала в соседнем чатеге, она про dba , причем оракловский

Видел результаты сравнения match выражений для перечислений и юнионов, в силу чего юнионы проседают, рефлексия какая или где посмотреть (мб GitHub)?

в случае DU и f# компилер вам всунет enum tag и через него будет идти проврка с последующим приведением это не тоже самое что в сисярпе юзать pattern matching по типу, а-ля: switch case ClassA a: case ClassB

Поэтому и стремятся в чаты самых успешных программистов

А я-то думал, это потому, что я симпатичный :(

А это уже сексизми и гендерное неравентво! Фу таким быть.

А это уже сексизми и гендерное неравентво! Фу таким быть.

Ну уж какой есть. Еще я JS не люблю

Давайте с оффтопом в @dotnettalks. // вы ждали, когда я это скажу

Видел результаты сравнения match выражений для перечислений и юнионов, в силу чего юнионы проседают, рефлексия какая или где посмотреть (мб GitHub)?

Можно помедитировать над IL. https://sharplab.io/#v2:DYLgZgzgNAJiDUAfALgTwA4FMAEBVAdgJYD2+2AvNgLABQ22i2AgtsWNgB4iH7LYBU2VN1616jAEKt2ALxHIxDbAGFFtANoAeAMrIATgFcAxsgB8AXVpos2bQRJlyixtpZtO8gUPnPbU93I8CnRK2qohtMCYfGDExABGAIZ6nBTUIQC2ichGABapAO6EyLm+LAAUHFBCAJTYALSmqfBCvlIyDU0yvsqd2AAMajRRfBCxCcmplIpZOfkc2EUlvq7YldWodY3NrSEu7X3de7a92/1AA===

А вы то предпочитаете, тайп провайдеры или интити фреймуок?

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

Я тоже, помогайте мне.

правда, вакансия, которую девушка опубликовала в соседнем чатеге, она про dba , причем оракловский

у меня в работе много вакансий, не все успела опубликовать)

у меня в работе много вакансий, не все успела опубликовать)

где их можно обозреть?

где их можно обозреть?

В личном чате со мной?

Можно помедитировать над IL. https://sharplab.io/#v2:DYLgZgzgNAJiDUAfALgTwA4FMAEBVAdgJYD2+2AvNgLABQ22i2AgtsWNgB4iH7LYBU2VN1616jAEKt2ALxHIxDbAGFFtANoAeAMrIATgFcAxsgB8AXVpos2bQRJlyixtpZtO8gUPnPbU93I8CnRK2qohtMCYfGDExABGAIZ6nBTUIQC2ichGABapAO6EyLm+LAAUHFBCAJTYALSmqfBCvlIyDU0yvsqd2AAMajRRfBCxCcmplIpZOfkc2EUlvq7YldWodY3NrSEu7X3de7a92/1AA===

странно что int ? я когда у себя на локали экспериментировал он мне enum создавал (хотя мб всё дело еще в декомпилире)

Интересно, с каких пор HR интересуются f#

Хороший рекрутер интересуется всем и в особенности Теми, кто может бомбануть?

странно что int ? я когда у себя на локали экспериментировал он мне enum создавал (хотя мб всё дело еще в декомпилире)

Нужно еще помнить, об одной особенности. Объединения малых размеров матчатся с помощью isinst, а большие через целочисленный тег. Struct DU всегда через тег. cc @yerumaku

Покажите!

Предательская скорость работы интернет. Сравнение по typeid? Это было в какой-то статье, которую пока не смог найти, не помню, добавлял ли в закладки дома в браузере. Разницу в цифрах показало на уровне страха использования юнионов (в циклах), но, спасибо, отлегло.

Ну, объединений точно не нужно боятся. Это чуть ли не главная фича F#. :)

Я бы сказал, не стоит заниматься premature optimizations

главная фича - pattern matching . без нее эти объединения неинтересны

Интересны. Мне вот сейчас приходится их выдумывать, чтобы отдать стрим событий

я готов иф и свичи писать, только чтобы не object/dynamic возвращать, как мне тут архитектор рекомендует

(и да, пишу на c#, unfortunately)

Интересны. Мне вот сейчас приходится их выдумывать, чтобы отдать стрим событий

что их выдумывать. скопмилил f#, восстановил c#

Зачем C#, если сразу F# можно?

(и да, пишу на c#, unfortunately)

так можно или нельзя. если можно и вопроса нет

Если F# нельзя, то такой трюк не пройдет.

Тут логичней взять какой-нибудь protoc и им контракты сконпилировать в C# - protobuf поддерживает discriminated unions

И не так страшно для C#-шопов

Ну, объединений точно не нужно боятся. Это чуть ли не главная фича F#. :)

А можно больше примеров их использования из реальных проектов? Пока что использую всего в нескольких местах, [но это скорее связано с тем, что логика проекта пока еще остаёт от типоописаний сохраняемых сущностей, на которые пока сделан упор. ]

Есть у тебя биржа, с API web-socket

Оно тебе JSON-ом сыплет туда разнородным, а тебе IEnumerable (для простоты) по нему надо сделать

Какой тип под IEnumerable будет?

type Message = Connected of Connected | Authenticated of Authenticated | ...

Это самый понятный пример, на мой взгляд (я про Choice / Option не буду тут писать, тем кто из C# приходит не сразу понятно, о чем речь)

Какой тип под IEnumerable будет?

Тут нужен кастомный JSON сериализатор

Это самый понятный пример, на мой взгляд (я про Choice / Option не буду тут писать, тем кто из C# приходит не сразу понятно, о чем речь)

Я так понимаю JSON можно отлично разобрать в дерево через размеченные, или вы не это имели в виду (но сейчас напишите, "и это тоже")

И на c# ты эту проблему тоэже не очень решишь

Тут нужен кастомный JSON сериализатор

Это понятно, из него вываливаться-то что будет?

Это понятно, из него вываливаться-то что будет?

Что напишешь, то и будет

Ну а что правильно? На мой взгляд - DU правильно выплевывать.

Я как раз про семантику этого "сериализатора" говорил, а не про реализацию

На C# приходится выплевывать Object / IMessage и дальше проверять через C#-паттернматчинг

if (msg is Authenticated auth) { ... }

Вообще, если говорить о решении подобного рода задач на C# и на F#, то требования к данным несколько другие

Давай поговорим об этом.

if (msg is Authenticated auth) { ... }

или берешь добавляешь MessageType

или берешь добавляешь MessageType

Это просто вопрос как дискриминатор указать.