Е
А в чем проблема?
Pid<Ping> может принимать сообщение типа PingSize: a a a
2021 May 18
Е
любой пид являющийся подтипом
DF
Осталось только придумать как это проверить на этапе компиляции.
Е
А я понял. Имеется в виду, когда пришел
Ping от неведомо кого, и нужно непременно этому неведому кому отправить Pong.DR
Почему бы не форсить, чтобы у процессинга сообщений был catch all - а если нет, то это так же как и null exception в статически типизированных языках - т.е. рантайм ошибка по-прежнему?
DR
Зачем убивать хотрелоад, если и языки со статической типизацией имеют рантайм ошибки? Зачем сразу какое-то идеальное решение?
AF
Этот процессинг сообщений не относится к языку. Генсервер и его call это не сообщения виртуальной машины.
AF
В том смымсле, что это абстрации построенные уже поверх сообщений
DR
Они выводятся - видно, что приходят сообщения - там где есть receive - там есть any - соответственно проверять, что callback-и этот Any где-то да обработают.
Е
Да даже если сильно нужно, то в конце концов можно для таких странных случаев слать какие-нибудь сериализованные бинарные массивы.
AF
ну это уже будет другой несовместимый язык
Е
Но в 99% все типы сообщений, так же как и принимающие и отправляющие стороны заранее известны.
DR
Почему другой - всё тот же. Никаких изменений в языке не нужно.
LL
Ну вот я тоже плохо понимаю зачем статическая типизация всего. Диалайзер и градуалайзер умеют отлавливать ошибки в компайле
DR
Это уже другая проблема.
Е
На самом деле, статически типизированый язык может успешно эмулировать динамическую типизацию там где надо.
M
имхо наоборот
AF
если ты говоришь что reveive должен иметь какой-то особый вид и логику, то существующий код работать не будет
Е
Плохо они отлавиливают на самом деле.
DR
И самое главное - вот потому что мы тут чуть типизировать что-то не можем - поэтому вообще ничего типизировать не будем - аргументация нарушающая законы логики.