@pham_nuwen а как насчет такого?) https://ideone.com/aJsfn4

Возможно.

use actix::prelude::*;

// this is our Message
// we have to define the response type (rtype)
#[derive(Message)]
#[rtype(result = "usize")]
struct Sum(usize, usize);

// Actor definition
struct Calculator;

impl Actor for Calculator {
    type Context = Context<Self>;
}

// now we need to implement `Handler` on `Calculator` for the `Sum` message.
impl Handler<Sum> for Calculator {
    type Result = usize; // <- Message response type

    fn handle(&mut self, msg: Sum, ctx: &mut Context<Self>) -> Self::Result {
        msg.0 + msg.1
    }
}

#[actix::main] // <- starts the system and block until future resolves
async fn main() {
    let addr = Calculator.start();
    let res = addr.send(Sum(10, 5)).await; // <- send message and get future for result

    match res {
        Ok(result) => println!("SUM: {}", result),
        _ => println!("Communication to the actor has failed"),
    }
}

message response type - и в этом месте акторы заканчиваются

Не згнаю причем тут гошка

А что начинается? Правильно, жаба.

Почему жаба, а не например Хаскель?

+++++

На самом для подобное совершенствование диалайзера сравнимо с созданием компилятора статически типизированног языка.

Большинство обменов сообщениями именно такие. Тот же генсервер в твоей терминологии - жабка.

Возможно многие считают, что статически типизированный язык - это когда везде и всюду пишем типы. На самом деле нет.

какая-то блевота. Видимо растоманы понимают какие тут типы  откуда и куда попадают. Но мне как человеку не пишущему на расте непонятно что за usize такой. Почему await это не функция, а атрибут, и почему у await-а значение Ok(Result)

Для меня статически типизированный язык это тот, где данные не затегганы своим типом

Да, но на уровне выше фреймворка а не ниже языка.

Не совсем понимаю. Вот пример суммирующей функции в статически типизированном языке:
alias sum = (a, b) => a + b;

Я имел в виду, что в памяти данные записываются в прямом представлении, а без тэга, который обозначает тип

Это перпендикулярно.
Статически типизированный язык - это язык у которого типы переменных известны на стадии компиляции.

похоже на FORTH =))

В эликсире все типы переменных тоже известны на стадии компиляции

И они term()

Верно. В какой-то степени Эликсир - статически типизирован :)