ML
в таком виде мне не нравится, потому что имплицитно подставляется имя переменной, глобальная такая получается
Size: a a a
2019 October 28
ML
а вот убрать в макрос имя ключа мапы — хорошая тема
AB
Это как?
ML
Map#{?WELL_KNOWN_KEY_NAME => Value}ML
получается такая дешевая иммитация структуры вплане того, что поменяешь что-то и компилятор поможет
SP
Map#{?WELL_KNOWN_KEY_NAME => Value}я лично стараюсь макросы по минимуму использовать; но у нас в команде многие любят делать что-то в таком стиле чтоб не опечататься в имени ключа
AB
получается такая дешевая иммитация структуры вплане того, что поменяешь что-то и компилятор поможет
Мне кажется если определен тип то dialyzer поможет
SP
Alexander Bogosyan
Мне кажется если определен тип то dialyzer поможет
ну не совсем...
AB
Если все поля как required определены он должен ругнуться если перепутал ключ же
SP
но с другой стороны, если нужен map с фиксированными ключами - почему не взять рекорд..
AB
Рекорды не расшарить нормально.. только через hrl
AB
Жаль что в эрланг до сих пор не завезли нормальных структур, вроде даже предложение оформленное есть давно
SP
Alexander Bogosyan
Если все поля как required определены он должен ругнуться если перепутал ключ же
разве? типа тут ругнётся:
-type my_t() :: #{a := boolean(), b := boolean()}.
main() ->
f(#{c => wasd}).
-spec f(my_t()) -> ok.
f(..) -> .. .AB
Должен ругнуться
AB
Другое дело что на extra поля не ругается и наследовать описания типов нельзя вроде
PK
Alexander Bogosyan
А вот у нас народ любит макросить например так : -define(s, State#state). Или -define(d, State#state.data). Типа чтобы было меньше писать при доступе к полям record в каком нибудь genserver, мне это не очень нравится, хочу узнать среди тру-эрлангистов такое норм?
Вот так, имхо, довольно удобно и наглядно получается. Но это не очень часто встречается.
https://github.com/petrkozorezov/raft_server/blob/master/src/raft_server.erl#L323
https://github.com/petrkozorezov/raft_server/blob/master/src/raft_server.erl#L323
SP
Alexander Bogosyan
Должен ругнуться
а, ну логично. Но все поля обязательные - это далеко не всегда подходит
AB
Вот так, имхо, довольно удобно и наглядно получается. Но это не очень часто встречается.
https://github.com/petrkozorezov/raft_server/blob/master/src/raft_server.erl#L323
https://github.com/petrkozorezov/raft_server/blob/master/src/raft_server.erl#L323
Так там можно было на функциях сделать все
PK
Alexander Bogosyan
Так там можно было на функциях сделать все
В гардах?
AB
а, ну логично. Но все поля обязательные - это далеко не всегда подходит
Да не всегда, можно извращаться с #{ value := type() | undefined}, но в целом печаль