Телеграмм чат группы fsharp

Size: a a a

F# Flood: Be a cheif

243 membersпожаловаться на группу

2021 January 29

Sergey in F# Flood: Be a cheif

Ayrat Hudaygulov

Начал интервьюировать в МС, кадры как всегда поражают.
Ждите прохладных историй

Ilya Chernoudov in F# Flood: Be a cheif

Doge Shibu

Это мы буквально получим, если будем делать lowering по спеке

public struct A: IDisposable
    {
         void IDisposable.Dispose(){}
    }

источник

12:36пожаловаться #2

Ilya Chernoudov in F# Flood: Be a cheif

вот для таких случаев

источник

12:37пожаловаться #3

Doge Shibu in F# Flood: Be a cheif

Ilya Chernoudov

потому что ты явно пишешь

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

Что у них там специальный кодген для структур, чтобы не было боксинга:

            // First: if the type is a non-nullable value type then we do not do the 
            // *boxing conversion* from the resource to IDisposable. Rather, we do
            // a *constrained virtual call* that elides the boxing if possible.

источник

12:37пожаловаться #4

Ilya Chernoudov in F# Flood: Be a cheif

Doge Shibu

            // First: if the type is a non-nullable value type then we do not do the 
            // *boxing conversion* from the resource to IDisposable. Rather, we do
            // a *constrained virtual call* that elides the boxing if possible.

да, так и есть и это обычный IL код

источник

12:37пожаловаться #5

Ilya Chernoudov in F# Flood: Be a cheif

не вижу в это ничего предрассудительного

источник

12:38пожаловаться #6

Ilya Chernoudov in F# Flood: Be a cheif

не вижу, чтобы это нарушало спеку

источник

12:38пожаловаться #7

Doge Shibu in F# Flood: Be a cheif

Ilya Chernoudov

да, так и есть и это обычный IL код

Это не обычный IL код для этого кейса, это один специальный кейс, который не распространяется на другие случаи структура + каст в интерфейс + вызов метода.

источник

12:38пожаловаться #8

Doge Shibu in F# Flood: Be a cheif

Как было показано выше

источник

12:38пожаловаться #9

Ilya Chernoudov in F# Flood: Be a cheif

Doge Shibu

Как было показано выше

https://sharplab.io/#v2:C4LglgNgPgAgTARgLACgYAYAEMEDoAyYAdgI4DcqG2CALBWgMzZyYDCmA3qpj9kzDUwBZBAAoAlFxS8ZVUUQCmAd0wBBCZIC+3Xtum8dPGPxZqQmAJIARMAGcADgHtbAQwBGEBYc7eZ2QdZ2Tq4eCrg2Ds4KEhx6MnE8qJpAA===

источник

12:41пожаловаться #10