Thanks to everyone for coming! Recording is here, and the slides are at Dealing with DTypes. Details of this and previous tensor typing meetings are available here.

Our next tensor typing meeting will tentatively be on Monday the 13th of December. See you then!

A quick summary of the talk is below.
  • How should we handle data type promotion in stubs?
  • Option 1: One overload for each possible combination of dtypes
  • Option 2: One overload for each result dtype
  • Option 3: Don't handle type promotion
  • Option 4: Use a dtype class hierarchy and exploit Union type operator behaviour
  • Option 5: Propose a type promotion operator
  • Option 6: Propose a 'nearest common parent' operator
  • Option 7: Propose a type lookup table operator
  • Consensus during discussion was that since it looks like a new type operator would be required, we should probably hold off on dealing with this until the community shows a strong desire for this feature, and in the meantime just not handle data type promotion in stubs.

On Mon, 15 Nov 2021 at 11:37, Matthew Rahtz <mrahtz@google.com> wrote:
Reminder that we'll be meeting today at 10am San Francisco time / 6pm London time at http://meet.google.com/fft-dzjq-ksu.

Our agenda for this month consists of a discussion of how to handle data type promotion in stubs. I'll present the 7 possible solutions I've been able to think of, and then we'll discuss the pros and cons of each/whether there's something better we've overlooked.

See you then!

On Mon, 8 Nov 2021 at 11:27, Matthew Rahtz <mrahtz@google.com> wrote:
Hi all,

Our next tensor typing meeting will be next week, Monday the 15th of November at 10am San Francisco time / 6pm London time, at http://meet.google.com/fft-dzjq-ksu.

The main thing on our agenda will be a discussion of how to handle dtype promotion in stubs. That is, how can we handle the fact that a tensor with dtype uint8 + a tensor with dtype int8 = a tensor with dtype int16? I'll do a short presentation with my current understanding of what the options are, then we can discuss the pros and cons of each approach. (Having said that, if anyone else has already worked out a clean solution to this, please let me know!)

If anyone has anything else they'd like to talk about, do give me a shout.

See you then!
Matthew