LL
Так и какой профит от этого если любая функция может быть вызвана с непонятно какими аргументами
handle_info({'DOWN', ....})?Size: a a a
2021 May 18
AB
да зачем? тебе хочется писать сигнатуру для
Е
Не любая, какая-нибудь
send может, но далеко не любая.AB
вообще, для простых (чистых) кейсов хватит dialyzer/gradualizer, а в сложных и грязных и типы никакие особенно не помогут
Е
Мне хочется писать сигнатуру для
calc_something(a, b, c)LL
receive doТут функция
anything ->
function(anything)
end
function вызывается с аргументом с неизвестным типомЕ
Ну так не получится так вызвать. Разве что ты сам захочешь именно так сделать, но для этого тебе придется явно в функции
function прописать тип параметра Variant.Е
Но зачем делать ВСЕ функции с типами параметра
Variant?LL
Если так не получится вызвать, то придётся описывать хэндлер для каждого возможного сообщения
Е
А зачем описывать хендлеры для каждого возможного сообщения?
Описываешь для всех нужных. А для левых один.
Описываешь для всех нужных. А для левых один.
Е
Да так собсно и делается в эликсире.
AB
type A = {int, string};
type B = {int, string};в языке со структурной типизацией это совместимые типы, с номинальной - нет.
Е
А я, понял. Структурную еще называют утиной типизацией.
LL
Нет
Е
Дат.
Е
Утиная точно является структурной.
Е
Тип A выглядит как тип B, а значит тип A и есть тип B. Чем не структурная типизация?
LL
Е
Ну посмотри что такое утиная типизация.
Е
Могу пример на том же D привести.