Sorry, has the "new proposal" been drafted?
--Al.
On Tuesday, 1 December 2020, Denny Vrandečić <dvrandecic(a)wikimedia.org>
wrote:
Yes, that's correct. The reason was that, in
the end, the evaluator
functions were some form of magic wrapping around any possible type. In
some cases it would lead to make things look a little bit neater (as magic
usually does), but in most cases it is just additional overhead. Instead of
having magic evaluator functions, we can always have these explicit.
As usual, I don't know if this is the right approach, but it feels like
it makes it simpler to abandon evaluator functions. The new proposal also
suggests to abandon linearizer functions and basically all other hard-coded
such functions, besides the validator function, which remains a crucial
part of the data model.
Thanks for checking,
Cheers,
Denny
On Sun, Nov 29, 2020 at 2:17 PM Lucas Werkmeister <
mail(a)lucaswerkmeister.de> wrote:
On 11.11.20 02:17, Denny Vrandečić wrote:
This is how Objects are built and represented. Objects of almost all
Types are called *Literals*. A Literal is an Object that, when
evaluated, results in itself. For example, when you evaluate the number
2020, the result is the number 2020. But there are two very special Types
whose instances are not Literals, and these two types are *References*
and *Function Calls*.
To check that I’m not misunderstanding this: does this mean that the
more general AbstractText concept of “evaluator functions” has been
abandoned? In AbstractText, if I understood correctly, any type could have
an evaluator function which would determine how instances of the type were
evaluated; a “literal” would then be when the evaluator function returns
the same value (you’ve reached a fixed point).
(I will confess that if my understanding is right, I won’t be sad to see
evaluator functions go; I had not yet gotten around to fully understanding
them, and I believe in GraalEneyj only references and function calls have
special evaluation so far.)
Cheers,
Lucas
_______________________________________________
Abstract-Wikipedia mailing list
Abstract-Wikipedia(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/abstract-wikipedia
_______________________________________________