Good info - haven't thought about that (I usually trust myself :D ) - ok. Wer need to update the app for that...

Great! Urs, if you don't mind: Could you use Chrome and check our pxlclock.com/setup, enter your Wifi, click connect and then: See if your clock appears in the list of devices? Then, you can cancel. Thanks ;)

Yes, this is a wonderful, almost hypnotic clock face :)

BTW, the app is officially available, and the latest clock SW version is 2025-11-09_16.08.11

Does your clock still pull updates if I may ask?

Thanks dawe! One more helping hand on our way :)

How comes such a feeling?

I guess many C# focused developers understand Func<int, int[], int[]> very well - and that's it!

or

delegate int combine(int a, int[] b)

(although the names are just documentation, and not part of teh type's identity.)

Please let me use line breaks instead of ; - so your is:

1 - any type T with trait (+): T * int -> U
2 - iterable of U, may be anything from 'maybe' to endless
3 - array of U
4 - T * iterable<U> -> array<U>

So interesting 😍

go on ... ;)

In JavaScript, it can't be 'anytime' - because it can't be 'compiletime' 😆 OH YEAH!

Anyway: Your reasoning -> rules: ;)

"If an element of type T is added to our element e,
Then e also has type T"

or

"If we know that an element e is in an array, and that has type T,
Then e also has type T"

a hint for nr. 4: That's a function, right?
When we agree that a type should reflect 'what things are', can it be that a function is really of type 'int array' or 'int list'?

...nr. 4: That's a function, right?
When we agree that a type should reflect 'what things are', could it be that a function is really of type 'int array'?