07:08 <cfbolz> korvo: you can do that

07:08 <cfbolz> it needs some slightly weird techniques using @specialize.argtype

07:08 <cfbolz> and recursion on the tuples

07:09 <korvo> cfbolz: It got real mad at `tuple([d.whatever([arr[i] for arr in arrs]) for i, d in unrolling_iterable(enumerate(self.ds)])` and similar attempts to map across rows of arguments. I gave up and hardcoded a version for pairs only, since that's what I actually needed.

07:10 <korvo> I'm willing to admit that RPython defeated me today. It happens.

07:21 <cfbolz> korvo: write it recursively

07:22 <cfbolz> I can try to find an example, but not right this minute

07:22 <korvo> It's not a big deal at all. I can't really explain why I'm fighting so much against RPython. Maybe I'm just looking for an artistic outlet.

11:52 <cfbolz> korvo: it's a neat puzzle ;-)

11:56 <cfbolz> korvo: basically your line needs two changes to work:

11:57 <cfbolz> 1) you can't do the list comprehension, because the list elements would be of different types. instead, build the tuple in a regular for loop with `resulttup = resulttup + (d.whatever(...), )`

11:58 <cfbolz> korvo: the `unrolling_iterable` function cannot be used at runtime. instead you need to build it at translation time somehow (either via a closure, or an @specialize.memo or something)

11:59 <cfbolz> if you show me some more context of your code, I can give it a go

18:16 <korvo> cfbolz: I see, thanks. You're welcome to look at my solution; OSDN's not loading, but the module is standalone: https://bpa.st/NNNQ Honestly, I don't feel like working on this more right now and I feel bad asking anybody else to care about it.

18:48 <korvo> cfbolz: Oh, I understand my emotions now. This is like a quarter of a Zephyr ASDL compiler and I'm reminded of how much effort it was for so little payout. Beautiful generic code that was only used maybe two or three times.

18:49 <korvo> This pairing domain's only used once, to avoid double-parsing when doing both a typecheck and an evaluation in the same action. Lines 72-78 of https://osdn.net/users/corbin/pf/cammy/scm/blobs/master/cammy/repl.py only.

19:19 <cfbolz> korvo: let's say that if you get to the point where you would really like to generalize this beyond pairs, please ping me

19:26 <korvo> Okay, thanks.