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@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@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/abstract-wikipedia