On Thu, Mar 15, 2012 at 2:46 PM, Bruce Miller <bruce.miller@nist.gov> wrote: > On 03/15/2012 10:24 AM, Peter Murray-Rust wrote:As you said earlier in the > thread: MathML has good > declarative power. But to express programming or > computations, you'll need imperative. > At least simple things like distinguishing > the declarative relationship k=0.1 from the > imperative assignment k=0.1. > > Understood, I think. In my current implementation this sets/changes the value of k within the current scope > You'll have an easier time declaring the relationships > in MathML than expressing the demand for their computations > --- assuming your computational engine can figure out > what to do. However, if you do want to express the computations, > I would encourage you to at least consider how those could > be cast in MathML using apply, csymbol etc. and in particular > using a content dictionary with symbols for expressing those > imperatives. Could be useful to others! > > I'm probably not the best person to do this! I can make something that "works" but it may not be idiomatic. Everything we do is (of course) Open Source so it's inspectable. when we have something running we'd be grateful for comments. It's more important that it uses a pragmatic idiom that's acceptable than breaks new ground in formal systems! Thanks again -- Peter Murray-Rust Reader in Molecular Informatics Unilever Centre, Dep. Of Chemistry University of Cambridge CB2 1EW, UK +44-1223-763069
Received on Thursday, 15 March 2012 16:00:51 UTC