Jacques Carette
Jacques Carette
Re: immediate question. Entirely possible that that comment is obsolete. Also, I think our description of `Quantity` is also off. A `Quantity` is not actually a `Quantity` per se, it...
Right - two of them are about mathematics, and another about ontology. We might want to separate those hierarchies some more? Merging them seems dangerous. I feel like it's something...
To make real progress, I think we first need to answer: 1. What is an abbreviation? 2. How do we use abbreviations? 3. Are each of these uses correct? 4....
I agree with the analysis (of what a `ShortName` is). And thus that maybe it is information that should be given to various items at the *use site* instead of...
Indeed. Quick answer: one is a "type", known internally to Drasil, while the other is the name for a concept from mathematics, which is data to Drasil.
Also: model vs meta-model.
Because it is likely used for "meta data" about Drasil itself. This is why those places *require* the abbreviation! Probably the most sane thing to do is to separate meta...
I'm pretty sure that these exist as separate chunks purely for technical reasons, i.e. because they extend slightly different chunks. The bigger question is a good one: why not enable...
What is the difference between `getA` (which is what `lookupS` ends up using) and `getAcc`? It does seem like two wildly different paths to get at (essentially) the same thing,...
"uses the UID" had me confused (using the `String` of a UID is a big Drasil taboo), but you really meant that it uses the ChunkDB to look things up....