Making functions/methods subscriptable

I'd like to make both instances and the types of functions and methods (including builtin methods) subscriptable.

Part of this proposal has been discussed already on python-ideas (https://discuss.python.org/t/making-functions-subscriptable-at-runtime/26463) but I thought it might also be worthwhile making FunctionType etc. subscriptable and work in a similar way to Callable just with extra descriptor behaviour that binds it into a MethodType.

class Foo:
	bar: FunctionType[[Self, int], str]
	# equivalent to 
	def bar(self, arg1, /) -> str: ...

This is different from Callable as if FunctionType was replaced with Callable, bar would always require a self argument.

This unfortunately probably requires special casing in type checkers as it isn't quite currently possible with PEP 612 (ParamSpec + Concatenate) (see #946) unless the PEP is updated

Bắt đầu bằng cách đọc cuộc thảo luận python-ideas được liên kết, sau đó xem lại PEP 612 và issue #946 để hiểu các hạn chế đã nêu. Đề xuất này liên quan đến FunctionType có thể dùng chỉ số và các kiểu liên quan, việc liên kết descriptor, và nhiều khả năng là các trường hợp đặc biệt trong type-checker; để hoàn thành sẽ cần một thiết kế được thống nhất và hỗ trợ tương ứng từ type-checker.