Aß
ну, если запретить такие типы, то программировать будет совсем не весело
Проблема в том, что процесс A, который должен отправить сообщение процессу B, должен знать тип процесса B. А значит должен быть параметризован этим типом B.
И это печально.
Size: a a a
2021 May 18
Е
Aß
причем процесс, который посылает свой пид себе это ещё цветочки, если у нас будет цепочка из процессов, которые пересылают свои пиды по кругу, да ещё и с какими-нибудь дополнительными данными, то тип пида будет гигантским
AB
ну вот и зачем лезть в это говно?
AB
чисто чтобы заебаться - потому что в рантайме нет никаких гарантий всё равно
Е
Согласен. Пиды типизировать не очень-то полезно.
Е
Хотя и возможно, но сильно теряем в гибкости.
Е
Если процесс синглтон, то все типизируется легко. Но далеко не все процессы синглтоны.
Aß
именно, остается только закрыть систему типов и разрешить паттерн матчинг по типам, чтобы проверять какого типа пришло сообщение в receive
Aß
по факту у нас сейчас как раз такая ситуация, только без какого-то исчисления поверх
AB
в beam даже модули не first-class сущности, а тупо атомы, что уж про процессы говорить
Е
Это я сделал.
Aß
где? я не очень хорошо следил за дискуссией
Aß
и каким образом это будет работать?
Е
Ну там есть паттерн матчинг по типам сообщений в receive
Aß
есть тег в рантайме?
Е
Да, D поддерживает RTTI. При необходимости.
AP
It is sad to be you
Aß
я вижу в ассемблере какие-то typecons, schema, sequence, но я тоже не знаю D, так что может это что-то другое