> On Thu, Dec 22, 2011 at 1:12 AM, Joachim Durchholz <[email protected]> > wrote: >> Am 22.12.2011 03:08, schrieb Alexey U. Gudchenko: >>> Note that there is a REP 3107 for the type checking (It is stalled >>> though): >>> >>> http://markmail.org/message/onxlt4t5mjqkls6k?q=thread:pruvsejfjvarfodk >> >> >> That's for Python 3, so it's not going to help us as long as we're based >> on 2.x. > > Annotations can be used in Python 2. You just have to set them > manually with __annotations__ instead of using the special syntax.
A right, I overlooked that. >>> In particular there exist an old third side module (2006 last updated, >>> overgrown with the other functionality a little, though): >>> >>> http://oakwinter.com/code/typecheck/tutorial/basics.html > > A third party type checking module already exists; it's called traits. > But this is way beyond the scope of what you are trying to do here. Heh. What traits can do looks really, really nice. I have taken a short look at the internals. I identified a few strings attached: external NumPy dependency, C code, large LoC count, outside the pure math interest that motivates SymPy coders. My preliminary estimate is that it's not useful enough for SymPy to make it worth the effort and risk. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
