Troels Henriksen

Instead of `printf` style, I think the most elegant option would be something similar to [Pythons formatted string literals](https://docs.python.org/3/tutorial/inputoutput.html#formatted-string-literals). They are similar to `printf` strings, but instead of being positional,...

I agree, this would be nice. I've been thinking about how to generalise this a bit, as I don't want to make built-in functions and operators special. I have been...

Certainly, the `map`s will be inserted early on in the compilation. The reason I want the `@` operator is that some functions (like a polymorphic `reverse`) can be applied any...

I see. That looks rather elegant, actually. Well, typing all the explicit tuples looks ugly of course, but I like that it's possible to boil away all the magic to...

Yes, I see, you're right.

Yeah, it would presumably be the same (yet-unknown) mechanism.

It's some NVIDIA thing; doesn't happen on the MI100. Who knows, maybe it demand-pages the memory onto the device during the first execution. This does cool my desire to work...

I think the main advantage (if any) is less indentation.

No, but it sometimes causes a small difference.

Alright, let's not do this.