B
Size: a a a
2020 August 24
ŹR
Нет, а как вообще можно туплы мержить?
Можно довольно быстро
ŹR
Нужно просто заматчить все возможные комбинации туплов и внутри их склеить в один
ŹR
Изи 🤣
Е
Народ, подскажите. Можно ли тайпспеки для кейворда задать аналогично мапам, то бишь, указать все возможные ключи, чтобы при попытке передачи неверного ключа диалайзер выдавал ошибки?
ŹR
Нет
Е
Печально
Е
Хотя... можно наверное задать тип ключа типа:
а потом
интересно, прокатит?
@type option() :: :opt1 | :opt2 | :opt3а потом
@type options() :: [{option(). any()}]интересно, прокатит?
NB
Я, обычно, примерно так и пишу
Но вот насчет того ругается ли оно про ключи я не уверен
@type opts :: [{:foo, binary} | {:bar, atom}]Но вот насчет того ругается ли оно про ключи я не уверен
Е
Я, обычно, примерно так и пишу
Но вот насчет того ругается ли оно про ключи я не уверен
@type opts :: [{:foo, binary} | {:bar, atom}]Но вот насчет того ругается ли оно про ключи я не уверен
Я примерно так в итоге и написал, у меня поругался, но совершенно невменяемо.
Е
Если бы я сам не знал, что намеренно кривой ключ вставил для проверки, то хрен бы догадался
Е
А вот на неверный тип значения опции никак не реагирует.
ГК
А в рантайме это никак не проверить, чтобы оно на тестах упало? Пройти все ключики, сравнить со списком допустимых
Е
А в рантайме это никак не проверить, чтобы оно на тестах упало? Пройти все ключики, сравнить со списком допустимых
Проверить-то можно, но писать рантайм тесты намного геморнее.
ГК
А, вопрос ещё в типе значения
Е
Таки буду ждать нормального релиза Gleam. Статическая типизация - рулит.
Е
а пока костыльным диалайзером придется пользоваться, он хоть и убог, но таки помогает иногда.
Е
А в рантайме это никак не проверить, чтобы оно на тестах упало? Пройти все ключики, сравнить со списком допустимых
А еще, добавил новый ключик и давай еще тесты лопатить. Отвратный подход :(
AB
А еще, добавил новый ключик и давай еще тесты лопатить. Отвратный подход :(
На этом моменте я перестал понимать связь между типами, ключами и тестами
AB
И подозреваю, что ты что-то делаешь не так