如何在Python中实现TypeScript风格的字面量首字母大写与拼接类型？

问题背景 #

需要在Python中实现类似TypeScript的字符串字面量类型转换与拼接效果：

type EventsTypes = 'click' | 'touch';
type EventHandlers = `on${Capitalize<EventsTypes>}`; // 'onClick' | 'onTouch'

尝试通过自定义typing._SpecialForm实现Capitalize和Concat方法，运行输出符合预期，但VSCode悬停时类型被识别为object，需要成熟解决方案。附尝试代码：

import typing
@typing._SpecialForm
def Capitalize(self,*parameters):
  args = [p.title() for p in typing._flatten_literal_params(parameters)]
  return typing.Literal[*args]

@typing._SpecialForm
def Concat(self,parameters):
  prepend = parameters[0]
  types = parameters[1:]
  args = [prepend+p for p in typing._flatten_literal_params(types)]
  return typing.Literal[*args]

EventTypes = typing.Literal['click','touch']
EventsCapitalized = Capitalize[EventTypes]
print(EventsCapitalized) #typing.Literal["Click","Touch"]
EventHandlers = Concat["on",Capitalize[EventTypes]]
print(EventHandlers) #typing.Literal["onClick","onTouch"]

核心问题 #

Python标准typing模块暂无内置的字符串字面量转换/拼接类型支持，typing._SpecialForm属于内部私有API，VSCode的Pylance等编辑器无法解析这类内部实现的特殊类型，因此会显示为object。

成熟解决方案 #

1. 静态字面量场景（固定集合） #

如果字面量集合是固定的，直接手动定义Literal类型即可，编辑器能完美识别：

from typing import Literal

EventTypes = Literal["click", "touch"]
EventsCapitalized = Literal["Click", "Touch"]
EventHandlers = Literal["onClick", "onTouch"]

2. 动态生成场景（可扩展集合） #

使用pydantic实现运行时动态生成类型，同时保证编辑器能正确识别：

from pydantic import TypeAdapter
from typing import Literal

# 定义基础字面量类型
EventTypes = Literal["click", "touch"]

# 运行时提取字面量值并转换
adapter = TypeAdapter(EventTypes)
event_values = adapter.py_schema().enum_values

# 生成大写后的类型
EventsCapitalized = Literal[tuple(e.title() for e in event_values)]
# 生成带on前缀的类型
EventHandlers = Literal[tuple(f"on{e.title()}" for e in event_values)]

这种方式既支持运行时动态扩展EventTypes，又能让Pylance识别到具体的字面量集合，悬停时会显示正确的类型选项。

注意事项 #

• 避免使用typing._SpecialForm这类内部私有API，Python版本更新时可能出现兼容性问题。
• 若仅需类型检查器（如mypy）支持，可结合mypy的自定义插件扩展类型能力，但无需额外运行时代码。

内容的提问来源于stack exchange，提问作者desean