Python Sanity Proposal: Type Hinting Solution

[Mario Figueiredo]

In article <MPG.2f2cecb4624e49c498968c at nntp.aioe.org>, marfig at gmail.com 
says...
> 
> 
> So I'd rather see:
> 
>      def myfunction(arg1, arg2):
>      """
>      Normal docstring.
>      """ 
>      "@typehint: (str, int) -> bool"
>          return True 
> 

Actually that is idiotic. Much better is:

      def myfunction(arg1, arg2):
      """
      Normal docstring...
      @typehint: (str, int) -> bool
      """ 
          return True 

Why would I need to insert an extra docstring, if I'm already defining a 
parameter?