У меня праздный интерес и вопрос к тем, кто всерьёз использует диалайзер (или что-либо ещё с типами).
Как правильно типизировать время?
В эрланге не особо парятся:

-spec erlang:monotonic_time(Unit) -> integer() when Unit :: time_unit().
-spec erlang:system_time(Unit) -> integer() when Unit :: time_unit().

Для меня почти очевидно, что для адекватных проверок секунды/миллисекунды/etc. и монотонное/системеное — это разные типы времени, потому что засунуть в erlang:start_timer(_, Time, _, [{abs, true}]) системное время или микросекунды — большая ошибка.
Поделитесь, пожалуйста, как вы это всё типизируете.

-spec erlang:monotonic_time(Unit) -> integer() when Unit :: time_unit().
-spec erlang:system_time(Unit) -> integer() when Unit :: time_unit().

ну блин, совершенно точно integer не годится

-spec erlang:monotonic_time(Unit) -> integer() when Unit :: time_unit().
-spec erlang:system_time(Unit) -> integer() when Unit :: time_unit().

А разве диалайзер можно научить отличать один integer от другого? На сколько я понимаю, как ты типы не именуй, отличить 1 от 1 он не сможет. Можно только играться областями значений (pos non_neg и тд), но я не вижу как это поможет. Это как по мне так огромный косяк идеологии диалайзера.
По самому вопросу, я лично не научил его различать единицы времени, и использую integer, и косяков от этого достаточно ловлю)

Может @define_null знает больше?

Честно говоря как я это понимаю - до тех пор пока твой тип под капотом просто сводится к integer у тебя не будет возможности понять что есть что. Для такой цели можно заворачивать интеджер в рекорд или тапл или если есть возможность использовать opaque типы, чья поддержка в диалайзере очень странная

я лично с нетерпением жду анонса whatsapp с их новым тулом

Спасибо. Про диалайзер понятно.

Ты про типизированный эрланг от фейсбука или что-то ещё?

Да, судя по толку это дополнительный тул и потенциально небольшие изменения в диалект эрланга. Все детали оставили до следующей конфы в ноябре.

https://www.youtube.com/watch?v=RHnjPW4YOrs&feature=emb_imp_woyt вот доклад этого года, но там мало деталей

Я в нашем type_mapper сделал поддержку обработки кастомных типов

Это как-то относится к диалайзер или ты просто?

я очень надеялся, что диалайзер понимает, что  milliseconds() =/= seconds(), так что скорее просто так ввернул

скоро будешь как халтурин с ergonode

посмотри этот: https://github.com/lpgauth/shackle
я использовал совтец сделаный на нем - очень ок

@dinaamaa спасибо

и лицензия норм

btw, https://klarnaengineering.solidtango.com/live/erlang-meetup

слушайте, а никто merl в парс-трансформах не использовал?

использовал, удобнее, чем вручную ast составлять