Aß
это слишком сложно
Size: a a a
2021 May 18
Е
А зачем его делать?
Aß
и не факт что непротиворечиво
M
Статическая типизация мешает ООП в том виде как оно было придумано
Е
Не особо.Я делал такое в D, там статическая рефлексия позволяет проворачивать такие фокусы.
ŹR
Потому что так сделано ОТП. Если добавлять статическую типизацию - весь отп идёт нафиг.
M
Идея в том, что обработка сообщения (то, что потом стало вызовом метода) – ответственноть исключительно получателя
Е
Дык нужен другой ОТП, типизированный.
Aß
гораздо более реалистичный вариант разрешить в системе паттерн матчинг по типам и так мы получим диалайзер на стероидах
ŹR
Называется Жаба лайк ооп
ŹR
Прямо как в пони
ŹR
Об этом я и говорю
Е
По факту это только мешает. Никому не нужно, чтобы процесс получал сообщения, которые не может обработать.
M
Так не обрабатывый их
Aß
ты сможешь написать исчисление с типизированными пидами и доказать что оно непротиворечиво?
Е
А что делать, падать? Само появление такого сообщения говорит об ошибке.
n
ergo же компилируемый, вероятно поверх него можно организовать
Е
Я не силен в Computer Science, но пока я не вижу причин для невозможности подобного.
Е
В том же gleam уже есть нечто подобное, кстати.
Е
нет