Think tank: Typed sends and receives

[kvakvs]

It looks like it should be possible to have typespec for pids, and have pid types carry all types that process can send or receive (or just receive).

Support for raw Erlang: Scan the code reachable from the process spawn entry function, and all receive and send operators would contribute to the pid send/receive type.

Support for gen_server: Scan the behaviour implementation, namely add the raw gen messages, and add messages processed by the handle_info callback.

Of course disclaimer: This will only be valid during the compile-time, if the user reloads code to a different version, all type safety is gone and we're back to normal ordinary Erlang.