AP
а, ну, кто знает, тот поймёт
Ну мы не буржуины, а ты не мальчиш-кибальчиш. Мог бы уж рассказать эту страшную тайну.
Size: a a a
2021 February 25
DI
Осталось понять что значит простой императивный язык.
Pascal 🙂
AB
Оберон же! ) с него делали Голанг
AP
когда думаю о Го всегда вспоминается эта статья
PR
лол, так и знал что будет какой-то плот твист
DF
Гайз, а кто в курсе как диалайзер работает со страктами? Это просто мэпы, или тда подвезли стракт-специфичные проверки?
DF
У меня диалайзер ругается весьма странным образом:
DF
apps/blah/blah/module.ex:13:callback_type_mismatch
Type mismatch for @callback some_callback/3 in other_module.ex behaviour.
Expected type:
%Module{
<set of fields>
}
Actual type:
%Module{
<other set of fields>
atom() => _
}
Type mismatch for @callback some_callback/3 in other_module.ex behaviour.
Expected type:
%Module{
<set of fields>
}
Actual type:
%Module{
<other set of fields>
atom() => _
}
DF
Я не понимаю как это интерпретировать.
ع
для начала, что такое "страктами"... struct ??? В эрл. есть такой тип данных?
AN
Гайз, а кто в курсе как диалайзер работает со страктами? Это просто мэпы, или тда подвезли стракт-специфичные проверки?
Проверки есть для страктов, он отличает их от мап
DF
Здравствуйте, это канал про эликсир? Расскажите зачем вы выпилили рекорды.
DF
Проверки есть для страктов, он отличает их от мап
А как интерпретировать такую ошибку?..
DF
Я не понимаю как Type.t() =/= Type.t().
ع
О, сорян... Я живу по заветам "эрл." ☺️
AN
apps/blah/blah/module.ex:13:callback_type_mismatch
Type mismatch for @callback some_callback/3 in other_module.ex behaviour.
Expected type:
%Module{
<set of fields>
}
Actual type:
%Module{
<other set of fields>
atom() => _
}
Type mismatch for @callback some_callback/3 in other_module.ex behaviour.
Expected type:
%Module{
<set of fields>
}
Actual type:
%Module{
<other set of fields>
atom() => _
}
ткая штука бывает когда:
1) поправил перекомпилировал модуль, но plt не перестроилось
2) передаваемые параметры отличаются от описанных в структуре. Например когда передаешь на вход URI а ожидается строка, но он уже сконвертирован в строку или экто его автоматом кастит, но диалайзер этого не может понять
1) поправил перекомпилировал модуль, но plt не перестроилось
2) передаваемые параметры отличаются от описанных в структуре. Например когда передаешь на вход URI а ожидается строка, но он уже сконвертирован в строку или экто его автоматом кастит, но диалайзер этого не может понять
DF
Спека примерно такая:
DF
```
```
@callback some_callback(
param1 :: map(),
param2 :: map(),
module :: Module.t()
) :: ret :: Module.t()```