On Fri, 27 Apr 2018, vitalije wrote:
as much independent of each other many classes would look differently. For
example one
of the most basic element of Leo's data is certainly VNode. And yet one can not
instantiate VNode class without acquiring full blown commander, which in VNode
is known
I think this is the kind of the thing I was alluding to with the levels
comment.
I could write many more examples but these few would suffice to make my point
clear.
Leo is a programming environment. In principle, we don't know how people
have already used uA's.
Exactly we don't know but we act as if we are certain that there are users who
put in
uA's some exotic data. IMO there was no need to introduce such level of
flexibility
before. Once upon a time there was no support for uA's at all. And then it was
created
based not on real user needs, but on the FNMW principle as flexible as possible
no
matter how expensive it may become.
I think uA's are a weak example for your point. I think they're more used
and more useful than you perhaps realize. And because of that, the risk
of messing people up with changes is greater than you might think.
So the issue should probably be analyzed more carefully in another thread,
or here: https://github.com/leo-editor/leo-editor/issues/872, but given
their significance, the question "should we change them from Python dicts
to some other more limited mapping type" is not as simple as "json should
be sufficient".
Do not misunderstand me. I really don't mind using pickle as a format. My point
is just
that we need to be aware of costs it incurs, and at least to think about
whether we have
to pay the full price or we can live with the less flexible one.
I think we all agree Pickle was an unfortunate choice, and I suspect we
really will be able to switch to JSON, my point for this thread is just
that I don't think uA's are a good example of FNMW. To me they're a core
feature of Leo's data model.
Cheers -Terry
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
