Aß
для всех же типов есть гарды?
Size: a a a
2021 February 08
AN
По типам матчинга вроде нет, есть адовая смесь матчинга по коллекциям и гардов
is_map() is_list() ... не то?M
A ß
для всех же типов есть гарды?
Да
LL
A ß
для всех же типов есть гарды?
Для кастомных типов нет.
(или совсем недавно завезли
(или совсем недавно завезли
has_key)LL
Но это тоже такое себе, потому что
На гарде будет не реализовать
@type list_of_strings :: [binary()]
На гарде будет не реализовать
Aß
я говорю про типы эрланга, а не про типы диалайзера
LL
A ß
я говорю про типы эрланга, а не про типы диалайзера
Для типов эрланга есть все гарды, да
Но они малоинформативны, потому что у того же
Но они малоинформативны, потому что у того же
reference может быть несколько совершенно разных смысловAß
тут уж ничего не поделаешь
LL
A ß
тут уж ничего не поделаешь
Да не, можно было бы каждый
Но это бы работало дольше чем нужно, поэтому все просто аккуратно пишут код и рассчитывают на всякие
reference оборачивать в эрланговскую структуру (тупл) типа@type ets_table_id :: {:ets_table_id, reference()}@type gen_call_ref :: {:gen_call_ref, reference()}Но это бы работало дольше чем нужно, поэтому все просто аккуратно пишут код и рассчитывают на всякие
opaqueIK
последнее время тенденция наоборот отходить от статической типизации, и использовать ее только там, где явно указано.
Gradualizer например пилят по такому принципу. Ибо в BEAM, не считая hot code reloading есть еще сообщения, которые можно отправить кому угодно в рантайме. Ты никогда корректно не получшь тип входящего сообщения в compile-time, только паттерн матчинг спасает. Т.к. в рантайме можно отправить что угодно кому угодно, хоть из iex, хоть из другой ноды со старой версией софта и работающей с другим типом сообщенийв моем текущем проекте абсолютно все функции нужно покрывать dialyzer (sick!), даже те, которые dialzyer фактически не может чекнуть. Энтерпрайз на Elixir 🤷♂️
LL
в моем текущем проекте абсолютно все функции нужно покрывать dialyzer (sick!), даже те, которые dialzyer фактически не может чекнуть. Энтерпрайз на Elixir 🤷♂️
Я всегда пишу тайпспеки, даже в коде, который сам пишу
Тайпспеки сильнее любой документации, по-моему. Лучше тайпспек могут быть только тесты, но и даже тесты не умеет так изящно обозначать сущности, с которыми работаешь, как тайпспеки
Тайпспеки сильнее любой документации, по-моему. Лучше тайпспек могут быть только тесты, но и даже тесты не умеет так изящно обозначать сущности, с которыми работаешь, как тайпспеки
IK
Я всегда пишу тайпспеки, даже в коде, который сам пишу
Тайпспеки сильнее любой документации, по-моему. Лучше тайпспек могут быть только тесты, но и даже тесты не умеет так изящно обозначать сущности, с которыми работаешь, как тайпспеки
Тайпспеки сильнее любой документации, по-моему. Лучше тайпспек могут быть только тесты, но и даже тесты не умеет так изящно обозначать сущности, с которыми работаешь, как тайпспеки
Даже на коллбеки? Даже в LiveView компонентах?)
A
A ß
не все корректные программы можно типизировать
Это не связано с теоремой Геделя о неполноте?
LL
Даже на коллбеки? Даже в LiveView компонентах?)
А коллбеки разве не обозначаются в
В
@callback в модуле behaviour ?В
LiveView это жестоко, да, тут соглашусьIK
А коллбеки разве не обозначаются в
В
@callback в модуле behaviour ?В
LiveView это жестоко, да, тут соглашусьобозначаются, но ты все равно можешь их писать
IK
и dialyzer их не чекает, как и любые другие колбеки
IK
он чекает только явный вызов функций
LL
и dialyzer их не чекает, как и любые другие колбеки
:(
Aß
Это не связано с теоремой Геделя о неполноте?
вообще формулировка похожа, надо смотреть влечет ли тьюринг-полнота языка включение арифметики в его систему типов, навскидку сложно сообразить 😄
V
Это не связано с теоремой Геделя о неполноте?
Нет