|
|
|
|
|
|
by jameshh
3066 days ago
|
|
|
I think if you have an evolved enough type system, then there isn't such a problem. I have written an Elixir backend for Idris and given some examples of well-typed actor communication here: https://github.com/jameshaydon/idris-elixir |
|
|