Как реализовать систему типов на основе кортежей, поддерживающих параметризацию и генерики, подобно системе типов в TypeScript?

Для получения доступа подпишитесь на наш Telegram канал!