DF
Есть как минимум два применения рекордов, где они уделывают стракты. Это работа с ETS и стейты тайтлупов ака ген_серверов.
Size: a a a
2021 February 18
Aß
ничего, в отп 30 добавят рекорды как сущности уровня вм и тогда заживем
Е
Бред, потому что компилятор не знает какой тип рекорда у переменной (да и вообще рекорд ли там)
Тоже самое касается и структур. В чем разница?
LL
В этом, кстати, и есть основное отличие рекордов от структур
У структуры доступ к полю
А у рекорда доступ к полю
У структуры доступ к полю
field это всегда Map.fetch!(struct, field) и это не зависит от типа структуры, то есть одинаково для любой структуры и мапыА у рекорда доступ к полю
field зависит от типа рекорда, потому что у некоторых это второй элемент в тупле, а у некоторых третий, и т.д.LL
Тоже самое касается и структур. В чем разница?
Подумой
(чуть выше я оставил сообщение-подсказку)
(чуть выше я оставил сообщение-подсказку)
Е
В том же Gleam, для кастомных типов наоборот ушли от мап в сторону кортежей.
AP
Есть как минимум два применения рекордов, где они уделывают стракты. Это работа с ETS и стейты тайтлупов ака ген_серверов.
ets, да, а стейты в таплах при code_change мигрировать то еще удовольствие. Хотя о чем я? никто же пользуется этим)
LL
В том же Gleam, для кастомных типов наоборот ушли от мап в сторону кортежей.
Может потому что у него статическая типизация и есть вывод типов в компиляторе?
DF
Пользуются действительно редко. А уж в эликсире и подавно.
Е
Может потому что у него статическая типизация и есть вывод типов в компиляторе?
Дык структуры это и есть попытка добавить в эликсир некое подобие такой типизации, включая полиморфизм и фиксированный список полей, с фиксированными же значениями по умолчанию.
Е
Для всего остального структуры не нужны, достаточно просто мапы.
Е
Если функции плевать на тип структуры, то зачем вообще структура?
LL
Дык структуры это и есть попытка добавить в эликсир некое подобие такой типизации, включая полиморфизм и фиксированный список полей, с фиксированными же значениями по умолчанию.
Не совсем, между этими видами полиморфизмов есть значительные отличия
Е
В общем, полагаю, мы поняли позиции друг друга. На этом предлагаю и закончить.
DF
Тащемта, всё отличие мап от структур — это протоколы, которые не нужны чуть более чем полностью.
DF
У них полтора применения, одно из которых — это прикрутить баг.
Е
Тащемта, всё отличие мап от структур — это протоколы, которые не нужны чуть более чем полностью.
Причем эти протоколы можно аналогично и для рекордов сделать.
DF
Они и были прикручены, пока их не выпилили в erl23, кажется.
DF
Так называемые tuple modules.
Е
Возможно были какие-то веские причины, которые я упускаю, но они явно не те, которые были приведены в этом чате.