DR
Enum.map(1..10, fn x -> x + 1 end)
Size: a a a
2021 May 18
DR
В зависимости от твоих данных и анонимной функции, что ты передаёшь выводишь результат
Е
И диалайзер тут ничего не поймет
DR
Если не поймёт, то только потому что не имплементировали - в теории может.
Е
Статически типизированный язык может вывести, диалайзер нет.
ŹR
Мне вот интересно, как ты будешь типизировать gen_server.call. По сути, он состоит из двух сообщений - одного туда и одного обратно
Е
Никак. Прикол в том, что статически типизированным языком можно легко эмулировать динамическую типизацию, но не наоборот.
DR
Если взять за аксиому то, что везде, где receive может получить any - проблема решена.
Е
Как оно внутри вообще пофиг, хоть на
variant делай, главное внешний интерфейс, который не даст мне сделать неправильный callŹR
Ненене. Если у тебя актор типизирован, то актор ИЗ которого ты делаешь call - то же типизирован
ŹR
И ты должен сделать handler для любого возможного ответа на call
AP
почему вообще сравнивается по такой оси статический ЯП <-> диалайзер. Это же ортогональные вещи. Диалайзер это же конкретная реализация вывода типа, вложите в него время в доработку и он выведет что угодно.
AP
Вспоминается любимый гошный
interface{}ММ
тут вообще не понятно, с чего началось обсуждение
Е
Зачем? Если пришло сообщение для которого нет хендлера, то это рантайм ошибка и все.
ММ
какую проблему решит добавление типов в Elixir/Erlang?
ŹR
В результате что делает Actix? Он определяет тип ответа на send
ŹR
Вот только это перестает быть актором в эту же самцую секунду, потому что актор не возвращает
ŹR
В нем нету такого функционала
AF
Проблема – в приложениях багов больше, чем могло бы быть.