We are in the process of gathering more data on the orchestrator, and also have several ideas on how to make it faster, but let's focus on this specific case.

The implementation in https://www.wikifunctions.org/view/en/Z15723 should obviously not exist: it is merely a wrapper around the function itself, and it will kinda confuse the the orchestrator and the interplay for selecting the implementation. The reason it does so is probably due to caching.

Also, completely different thing, I would expect this rather to be implemented as

equal type(type of(K1), Boolean)

instead of the way it is, to be honest.

In T362278#9708152, @DVrandecic wrote:

…The implementation in https://www.wikifunctions.org/view/en/Z15723 should obviously not exist: it is merely a wrapper around the function itself

Thank you for your thoughts. I agree. I created this implementation specifically to demonstrate the improved timing, describing it as “apparently pointless, yet apparently not”. I am rather surprised that its existence has caused no difficulties so far, even when testing with entirely novel values, but I have disconnected it now.

Also, completely different thing, I would expect this rather to be implemented as

equal type(type of(K1), Boolean)

instead of the way it is, to be honest.

Yes. I haven’t been able to find or construct a type-of function yet, let alone type equality. I could do it that way in Python, I suppose, but I was deliberately avoiding using the string “bool”.

type of should be possible with Z803/Value by key. I am not claiming this would be good or efficient, but, in theory, you should be able to get to

equal type(
    type of( K1 ),
    Boolean
)

with

equal type(
    value by key(
        Z39[ Z39K1: Z1K1 ],
        Z18[ Z18K1: K1 ]
    ),
Boolean )

In T362278#9720497, @cmassaro wrote:

type of should be possible with Z803/Value by key. I am not claiming this would be good or efficient, but, in theory, you should be able to get to

equal type(
    type of( K1 ),
    Boolean
)

with

equal type(
    value by key(
        Z39[ Z39K1: Z1K1 ],
        Z18[ Z18K1: K1 ]
    ),
Boolean )

Thanks for the tip, Cory… I think there’s a bug in Z803. I would expect that it would succeed for any object, since every object has a Z1K1, but it fails for some types, notably strings. (Z500K1
"Call tuples failed in returnOnFirstError. Error: TypeError: responseEnvelope.Z22K1.asJSON is not a function." – which looks like an error handling an error…)

I started to raise a Bug Report for this a while back but never got round to filing it… sorry! I’ll get to it eventually (there are other issues, which is why I never finished it).

Object type equality is https://www.wikifunctions.org/wiki/Z15801

In T362278#9747439, @GrounderUK wrote:

I started to raise a Bug Report for this a while back but never got round to filing it… sorry! I’ll get to it eventually (there are other issues, which is why I never finished it).

✅Done: T363623