Changes http://wiki.axiom-developer.org/FAQ/diff -- **Why can't I assign a variable a type using the syntax variablename : Type?**
The short answer is that in a strongly typed system like Axiom handling definite values is a different problem from handling variables. Algorithms and methods to handle "indefinite" values are distinct from those needed for "concrete" values. Axiom currently handles only the latter - the former represent a complex topic. Related discussion threads include: "indefinites":http://lists.nongnu.org/archive/html/axiom-developer/2004-06/msg00212.html "complex numbers":http://lists.nongnu.org/archive/html/axiom-developer/2004-12/msg00520.html "conjugate(c)":http://wiki.axiom-developer.org/84 And most recently: "Question concerning types...":http://lists.nongnu.org/archive/html/axiom-developer/2006-09/msg00518.html -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
