ну в ней нет никакого смысла

«Есть ли смысл» это бесполезный спор.

для статики просто нет смысла делать гетерогенный список если ты можешь сделать ему сумтип

Мне ваще не нужен в динамике новый тип, я просто пихаю несколько разных в список и мне зашибись

В статике мне нужно:
1. Объявить сумтип
2. Имплементировать у него дисплей руками
3. Имплементировать у него From<> из каждого типа, если хочешь просто оборачивать, тоже руками
4. Матчить на каждом использовании

ну это как сказать я хочу kwargs а статика мне запрещает

Я хочу декораторы, кстати. Опиши мне, пожалуйста, вот эту функцию на языке с статической типизацией:

def log_args_and_result(func):
    def wrapped(*args, **kwargs):
        log(args, kwargs)
        res = func(*args, **kwargs)
        log(res)
        return res
    return wrapped

Я хочу декораторы, кстати. Опиши мне, пожалуйста, вот эту функцию на языке с статической типизацией:

def log_args_and_result(func):
    def wrapped(*args, **kwargs):
        log(args, kwargs)
        res = func(*args, **kwargs)
        log(res)
        return res
    return wrapped

Я хочу декораторы, кстати. Опиши мне, пожалуйста, вот эту функцию на языке с статической типизацией:

def log_args_and_result(func):
    def wrapped(*args, **kwargs):
        log(args, kwargs)
        res = func(*args, **kwargs)
        log(res)
        return res
    return wrapped

Инстанс тайпкласса под каждое число аргументов и погнали

Руками писать?

ну ты будешь иметь её но она будет мусорная не искаться по коду, не тайпчекаться

Да, но это один раз кем-то в либе написано

Да мне похуй на тайпчек
Я эту функцию использую один раз и забуду, это эксперимент, код на выброс

пока ты напишешь и отдебажишь декоратор с *args пройдет вечность