В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.elixir

1024 membersпожаловаться на группу
2020 April 23

LL

Lama Lover in pro.elixir
Roman Suleymanov
ну сам смотри, если используются встроенные типы и обычные предсказуемые операции над ними, то диалайзер правильно подскажет, но если у тебя какая структура получается в результате каких-то действий, то тут никто не подскажет тебе, что должно вернуться, для этого и пешется свой тип
Ну, это не совсем верно. Диалайзер в основном на тайпспеки и их сверяет. Можно вообще не объявлять типы, а всегда отчётливо писать тайпспеки
источник
22:45пожаловаться#1

RS

Roman Suleymanov in pro.elixir
тайпспеки это просто подсказки, что получаем и что отдаем, правильно написать их может только автор функции, который знает, что нужно вернуть)
источник
22:46пожаловаться#2

LL

Lama Lover in pro.elixir
Vyacheslav Konovalov
вот тайпспек бы протестировать
А как ты себе это представляешь?
Тайпспеки пишешь ты. Если ты пишешь что-то типа @spec f(any()) :: any() то это будет всегда верно (для арности один)
источник
22:46пожаловаться#3

LL

Lama Lover in pro.elixir
Я как-то раз делал валидатор типов. Ты просто объявляешь тип, а мой валидатор генерирует функцию, которая определяет принадлежность аргумента к данному типу и возвращает boolean()
Это прикольно, но практически абсолютно бесполезно
источник
22:49пожаловаться#4

VK

Vyacheslav Konovalov in pro.elixir
Lama Lover
А как ты себе это представляешь?
Тайпспеки пишешь ты. Если ты пишешь что-то типа @spec f(any()) :: any() то это будет всегда верно (для арности один)
ну да, этот спец всегда верный, очевидно
источник
22:49пожаловаться#5

LL

Lama Lover in pro.elixir
Vyacheslav Konovalov
ну да, этот спец всегда верный, очевидно
Так а как ты хочешь чтобы проводилось тестирование на спеки?
источник
22:49пожаловаться#6

RS

Roman Suleymanov in pro.elixir
а ещё, если есть doc у функции с примером, то dialyzer спеки даже не предлагает
источник
22:50пожаловаться#7

VK

Vyacheslav Konovalov in pro.elixir
Lama Lover
Так а как ты хочешь чтобы проводилось тестирование на спеки?
задать аргумент(ы) и проверить результат
источник
22:51пожаловаться#8

RS

Roman Suleymanov in pro.elixir
а чем это от обычного теста отличается?
источник
22:52пожаловаться#9

LL

Lama Lover in pro.elixir
Vyacheslav Konovalov
задать аргумент(ы) и проверить результат
т   т
 е е
  с
 т т
ы   ы
источник
22:52пожаловаться#10

RS

Roman Suleymanov in pro.elixir
тесты на тесты
источник
22:52пожаловаться#11

VK

Vyacheslav Konovalov in pro.elixir
😆
источник
22:53пожаловаться#12

RS

Roman Suleymanov in pro.elixir
пиши лучше doc и тесты, тайпспеки вообще можно не писать, а дока куда полезнее
источник
22:54пожаловаться#13

RS

Roman Suleymanov in pro.elixir
но это не точно
источник
22:54пожаловаться#14

VK

Vyacheslav Konovalov in pro.elixir
ок, спасибо
источник
22:55пожаловаться#15

LL

Lama Lover in pro.elixir
Я бы лучше писал спеки
Для юнит тестов - доктесты
Для других тестов - ExUnit
Если ты модный, то ESpec
источник
22:55пожаловаться#16

VK

Vyacheslav Konovalov in pro.elixir
тесты пишу, тайпспеки редко, а вот доки вообще никогда, эт конечно плохо
источник
22:55пожаловаться#17

RS

Roman Suleymanov in pro.elixir
прогоняй credo, dialyzer, дальше на твое усмотрение
источник
22:55пожаловаться#18

RS

Roman Suleymanov in pro.elixir
ещё форматер родной
источник
22:56пожаловаться#19
2020 April 24

BB

Boris Beginin in pro.elixir
Ребят мне нужен телнет клиент для эликсира
источник
14:21пожаловаться#20