Если ты хочешь ебаться с отображениями между Result<i32, NotAFunction> - пожалуйста

Надуманная проблема

Связывание двух объектов компонентов системы?

Не понимаю, чего ты хочешь

Связать два компонента системы путём обмена обработчиками

Звучит как делегаты

std::function?

+

Кстати, а в крестах можно вывод типа для ламбды юзать. А в расте?

А ещё ты можешь выцепить тип из любого выражения

Ну, напиши лямбду, посмотри

В шарпах тип лямбды нельзя выводить

impl Fn/FnMut/FnOnce(ty1, ty2, ty3) -> ret

Сам тип анонимен

найс тонна бойлерплейт кода

где то по ту сторону

I am working on better typeclasses for our classes project.

What I want is Supports[TypeClassName] type. It has some problems.

First of all, we cannot use Supports[TypeClassDefinedByFunction]. Why? Because mypy thinks that Supports[to_json] (when to_json is a FunctionDef node) is not valid as a type. It is related to how semantic analyzer works. I am pretty sure that this will stay with us for a long type.

So, I've made an extra syntax for typeclasses that need to use Supports[] around Python classes.

I got this working:

class ToJson(Protocol):
    def __call__(self, arg: int) -> str:
        ...

to_json = typeclass(ToJson)

# It is the same as:
# @typeclass
# def to_json(arg) -> str:
#     ...

@to_json.instance(int)
def _to_json_int(arg: int) -> str:
    return str(arg)

@to_json.instance(str)
def _to_json_str(arg: str) -> str:
    return arg

The bad thing is that @typeclass cannot be applied to python classes, because mypy does not support it. So, we would have to stick to this two-step syntax.

у него как раз эта проблема

там поифан собственно случай std::function

Так много бойлерплейт кода, аж на два символа длиннее fn