[Python-ideas] generic code and dependent types

[Antoine Pitrou]

Le 15/08/2014 06:56, Neal Becker a écrit :
> I'm interested in the proposals for adding type annotation.  Coming from some
> experience with generic code in c++, one of the difficult issues has been
> reasoning about dependent types in generic code.
>
> In general, we need to be able to declare a type via an arbitrary metafunction
>
> some_metafunction<T>::type F (...

What is a metafunction?