Thanks for the heads up Stefan,
I don't have time right now, but I'll definitely take a look at the recording later.
From: Stefan van der Walt <stefanv@berkeley.edu>
Sent: 16 November 2021 20:10
To: Discussion of Numerical Python <numpy-discussion@python.org>
Subject: [Numpy-discussion] Tensor typing meeting (15 Nov) slides & video
 
I thought this might be of interest to Bas and others.

----- Original message -----
From: Matthew Rahtz via Typing-sig
Date: Tuesday, November 16, 2021 02:31

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.