В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

F# Chat

1109 membersпожаловаться на группу
2021 January 16

I

IdiocyAcceptance in F# Chat
И реально вариант, который может представить компилятор - это по факту тащить эту самую структуру, которую ты описал выше
источник
20:27пожаловаться#1

I

IdiocyAcceptance in F# Chat
Но как избавиться от дырок GC при этом - тоже хороший вопрос
источник
20:27пожаловаться#2

g

gsomix in F# Chat
IdiocyAcceptance
О erased unions
Они стираемые, а значит будут представляться через obj или другой smallest intersection type.
источник
20:28пожаловаться#3

I

IdiocyAcceptance in F# Chat
Я подумал ты про инлайнинг в компайл-тайме
источник
20:29пожаловаться#4

I

IdiocyAcceptance in F# Chat
Тогда пришли пример, пожалуйста, ибо я не совсем понимаю о чём ты.
источник
20:30пожаловаться#5

I

IdiocyAcceptance in F# Chat
То, что компилятор сам будет генерить методы получения значения?
источник
20:30пожаловаться#6

I

IdiocyAcceptance in F# Chat
Ну так это не инлайнинг же
источник
20:30пожаловаться#7

nb

n bns in F# Chat
gsomix
@k_bns Бот?
Это почему бот?
источник
20:39пожаловаться#8

g

gsomix in F# Chat
n bns
Это почему бот?
Ты написал "d" без контекста.
источник
20:40пожаловаться#9

nb

n bns in F# Chat
gsomix
Ты написал "d" без контекста.
Случайно видимо нажал
источник
20:40пожаловаться#10

g

gsomix in F# Chat
Я не понимаю, причем здесь erased union types.
источник
20:41пожаловаться#11

g

gsomix in F# Chat
Если речь идет про эффективное представление struct discriminated unions.
источник
20:41пожаловаться#12

g

gsomix in F# Chat
gsomix
Если речь идет про эффективное представление struct discriminated unions.
На эту тему имеет смысл завести предложение. Сейчас есть такое.

https://github.com/fsharp/fslang-suggestions/issues/699
GitHub
Merge fields of the same type on multi-case union structs · Issue #699 · fsharp/fslang-suggestions
Merge fields of the same type on multi-case union structs I propose we change the way multi-case union structs are represented. Let's have the following as an example: [<Struct&g...
источник
20:46пожаловаться#13

g

gsomix in F# Chat
gsomix
Я не понимаю, причем здесь erased union types.
А вот это совсем про другое!

https://github.com/swoorup/fslang-design/blob/master/RFCs/FS-1092-Erased-Union-Types.md
GitHub
Swoorup/fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas  - Swoorup/fslang-design
источник
20:47пожаловаться#14

g

gsomix in F# Chat
Предлагаю прочитать RFC.
источник
20:50пожаловаться#15

g

gsomix in F# Chat
Там нет контейнера.
источник
20:50пожаловаться#16

AT

Anton Ternavsky in F# Chat
gsomix
Там нет контейнера.
Я о своей задаче.
источник
20:51пожаловаться#17

AT

Anton Ternavsky in F# Chat
Потру я свой оффтопик, слишком много шарпа в этом чате стало
источник
20:54пожаловаться#18

g

gsomix in F# Chat
gsomix
Там нет контейнера.
А я допишу. В этом RFC предлагают стираемые объединения, в отличие от анонимных, которые имеют представление в виде номинального типа.
источник
20:55пожаловаться#19

g

gsomix in F# Chat
Для анонимных объединений есть отдельное предложение.
источник
20:56пожаловаться#20