On September 23, 2005 1:38 AM I wrote: > > The C language is statically typed but not strong. Haskell and > Ocaml are strongly static typed. I think SPAD and Aldor are also > strong static typed languages. (However I am not so sure about > the 'pretend' construct in these languages which looks something > like a type-cast in C.) Languages like Python, Lisp, Maple and > are dynamnically typed. I think that MuPad is also dynamically > typed. >
I should also mention that the issue of 'type' in languages (like Spad and Aldor), where types are first-class objects (values), i.e. can be computed dynamically and returned as results of functions, considerably complicates the notion of "static" versus "dynamic". However I think the adjective "strong" still clearly applies. >From http://www.aldor.org "From a technical point of perspective, Aldor is a type-complete, strongly-typed, imperative programming language with a two-level object model of categories and domains (similar to the concept of interfaces and classes in Java). Types and functions are first class entities allowing them to be constructed and manipulated within Aldor programs just like any other value. Pervasive use of dependent types allows static checking of dynamic objects and provides object-oriented features such as parametric polymorphism." Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
