Type programming game

[Stefan Koch]

On Saturday, 17 October 2020 at 12:46:44 UTC, Basile B. wrote:
> On Wednesday, 14 October 2020 at 11:14:34 UTC, Stefan Koch 
> wrote:
>> On Wednesday, 14 October 2020 at 00:11:37 UTC, claptrap wrote:
>>> On Tuesday, 13 October 2020 at 14:43:23 UTC, Stefan Koch 
>>> wrote:
>>>> On Monday, 12 October 2020 at 14:04:56 UTC, claptrap wrote:
>>>> I fixed your version to work around the bugs in type 
>>>> functions.
>>>> [...]
>>> Yeah not as concise as it could be, but I assume eventually 
>>> type[idx] will work outside assign expressions?
>>
>> Yes of course.
>
> So what's up with the benchmark you mentioned ? With four 
> entries + your TF version we can have a podium now.

Coming up. Fixes to accommodate claptrap's original version have 
to be made first.