Во идеологически в чем разница? мне с первого взгляда еще

Question

Во идеологически в чем разница? мне с первого взгляда еще

не понятно
type X =
{ Name : string
Age: int
}

member this.PrintMe() => sprinft "Name: %s" this.Name

type Z() =
member val Name = ""
member val Age = 0

member this.PrintMe() => sprinft "Name: %s" this.Name

#fsharp #programming #russian

0

14.09.2023

17 ответов

36 просмотров

Klei

Ну в первом случае ты чётко очерчиваешь какие данные есть в типе, и больше их не будет. Остальное лишь проекция. Ну и сверх этого требования к "конструктору", эквивалентность и сравнение, если позволяет ситуация, автоматический принтер и т. д.

0

14.09.2023

Ayrat Hudaygulov

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

0

14.09.2023

Vlæd Zá

equality/comparison семантика например

0

14.09.2023

Ilya

Ayrat Hudaygulov
идеологически для рекордов есть несколько умолчани...

для классов тоже же есть умолчания?:) и вроде переопределять их и в рекорде можно

0

14.09.2023

Ayrat Hudaygulov

Ilya
для классов тоже же есть умолчания?:) и вроде пере...

мне на ум ничо не приходит

0

14.09.2023

Klei

Ilya
что характерно, оба еще и не структуры))

Смешение структур с эквивалентностью в C# - это косяк.

0

14.09.2023

Vlæd Zá

А, ну и рекорды sealed по-дефолту = хорошо

0

14.09.2023

Ayrat Hudaygulov

Klei
Смешение структур с эквивалентностью в C# - это ко...

+100500 мозги засрали всем что структы - это валуе тайпы, когда структы использовались в 99% как мутируемые на стеке объекты для байтоёбов и ничего общего с валуе тайпами не имели

0

14.09.2023

Ilya

Klei
Смешение структур с эквивалентностью в C# - это ко...

мне они за разным нужны, обычно структуры — для того чтобы ГЦ не овертаймил

0

14.09.2023

Andrii Kurdiumov Автор вопроса

Vlæd Zá
equality/comparison семантика например

А как вот эти вот фигурные скобки можно себе объяснить? Просто чуточку чужеродно смотрится

0

14.09.2023

Vlæd Zá

Andrii Kurdiumov
А как вот эти вот фигурные скобки можно себе объяс...

Всмысле? Ты алиасишь рекорд конкретным типом, даешь ему имя.

0

14.09.2023

Andrii Kurdiumov Автор вопроса

Vlæd Zá
Всмысле? Ты алиасишь рекорд конкретным типом, даеш...

https://t.me/fsharp_chat/267471 Я про этот пример. У меня что-то пока в голове не стыкуется

0

14.09.2023

Vlæd Zá

Andrii Kurdiumov
https://t.me/fsharp_chat/267471 Я про этот пример...

Ну я же написал. Разница в том, как сравнение и экволити работает, и рекорд всегда sealed

0

14.09.2023

Andrii Kurdiumov Автор вопроса

Vlæd Zá
Ну я же написал. Разница в том, как сравнение и эк...

Это я усвоил. Я больше про фигурные скобочки в первом варианте. В целом выглядит что ты объясняешь фигурные скобочки потому что рекорд, раз рекорд значит фигурные скобочки

0

14.09.2023

Andrii Kurdiumov Автор вопроса

Нууу более менее усвоил. Еще бы понять откуда исторически ноги растут и где тырили идеи(или сами)

0

14.09.2023

Ayrat Hudaygulov

Andrii Kurdiumov
Нууу более менее усвоил. Еще бы понять откуда исто...

https://en.wikibooks.org/wiki/Standard_ML_Programming/Types#Records

0

14.09.2023