[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Time for another crazy idea...

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Time for another crazy idea...
Date: 21 Feb 2006 18:06:57 +0100

C Y <address@hidden> writes:

| > |  If that's true, I was wondering what
| > | sort of effort would be involved in tuning Axiom's use of
| > categories to
| > | be in line with category theory mathematics, along the lines of
| > things
| > | like Categories for the Working Mathematician.
| > 
| > I think it would require to turn Axiom/Adlor into a macro system.
| > I believe Axiom's terminology is very confusing, even if the analogy
| > with "Category Theory" can be catchy.  Axiom does not rely on
| > "structures", it relies on OO tagging.  
| Hmm.  macro in the sense of lisp macros or in the sense of a
| "metamathematics" system?

I would say between lisp macros and C macros. 


| Do you mean introducing Computer Algebra to students or starting out
| the Algebra volumes?


| > You can have a look at Generic Haskell and PolyP for how and what it
| > takes to get a first approximation of categorical datatypes in a
| > programming language.
| OK, I'll take a look.  Thanks!  Do you mean an implementation of
| categorical datatypes on top of a language or the datatypes as part of
| the language definition?

the latter.

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]