On Wed, Jul 13, 2011 at 2:03 AM, Ralf Hemmecke wrote: > ... But read > http://atlas.bu.edu/~youssef/papers/math/aldor/aldor.pdf (BTW, this > looks like an example of Literate Programming.) Saul claims that > (with a bit of imagination) a object of type Category, i.e. a category > in the sense of the Aldor programming language, is a category in > the ordinary mathematical sense. > > But... Aldor is not enforcing this.
Yes, exactly. One might view this "bit of imagination" as flexibility or as a compromise that makes it easier to compile a statically typed language. Regards, Bill Page. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" 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/fricas-devel?hl=en.
