Commits

Anonymous committed 747d914

TODO: + typing

  • Participants
  • Parent commits ce47cec

Comments (0)

Files changed (1)

 | <-
    | Работа через сеть
    | [] "Служба имён"
-   | [] Интерфейс для сериализации и проверок типов
+   | <-
+      | Живём с типизацией
+      | [] Интерфейс для сериализации и проверок типов
+      | [] Сделать get_proc : pid -> process 'i, причём опционально
+           с "хендшейком" -- отправка какого-нибудь Cmd `Ping и получение
+           Cmd `Pong реальному процессу, чтобы удостовериться в том, что
+           совпадают декларируемые типы сообщений (и, в случае
+           сериализации, и форматы сериализации тоже).  (или "опционально
+           _без_ хендшейка", подумать)
+           Наверное, надо сделать Cmd (Init_session of call [=`Ping] [=`Pong]),
+           чтобы через call это оформлять.
+           Ещё проблема: в случае процессов мы можем только игнорировать
+           неправильно-типизированное сообщение (максимум -- отправить
+           обратно Cmd (`Type_error of ..)) -- подумать, что делать в случае
+           серверов, ибо хочется человеческую ошибку получать в dest 'o.
 
 | <-
    | tests