Numerical stack proposal - how to follow its progress?
Hello! I was wondering where work/discussion on the numerical stack type system improvements <https://paper.dropbox.com/doc/Type-system-improvements--AZLqIRRyLF5wU14B5leS...> from the last typing meetup is happening. A couple of TensorFlow folks (cc'd) are looking to implement static checking of TensorFlow code and would like to explore whether it makes sense to align their efforts with the proposed type system changes. Specifically, they're interested in learning some details about how broadcasting and shape checking will be handled. Where should I point them for more information? Best, Rebecca
Hi Rebecca, Not much happened on mypy side since the meet-up, since we were totally distracted by a big refactoring. It looks like three teams are going to work on some static typing for numeric code: * Vincent (and maybe Dominik) from Facebook (Dominik could you please add Vincent's email?) * Peng and Ashish at Google * Jukka and me at Dropbox There are two options to keep in sync: * Post all updates in this e-mail thread * Post every update in one of dedicated typing issues, for example in https://github.com/python/typing/issues/513 Let's post preferences here, I prefer the GitHub issue. There will be some discussions about Python numeric stack during Python typing summit, see this thread https://mail.python.org/archives/list/typing-sig@python.org/thread/P36XOWSKF... Also I am planning to organize an open-space dedicated to static typing of Python numeric stack during PyCon (likely on the third day). -- Ivan On Thu, 25 Apr 2019 at 15:56, Rebecca Chen <rechen@google.com> wrote:
Hi Ivan, Nice to meet you all. I'm already in this loop but I didn't start to work on that part yet. I'll sync up with Dominik soon on that matter. Best, Vincent PS: sorry for the duplicated answer, I used the wrong address :) Le dim. 28 avr. 2019 à 02:59, Ivan Levkivskyi <levkivskyi@gmail.com> a écrit :
OK, then I would propose to use https://github.com/python/typing/issues/513 for more fine grained coordination/discussions, and we can post updates/summaries/etc. here from time to time. -- Ivan On Tue, 30 Apr 2019 at 13:49, Peng Wang <wangpeng@google.com> wrote:
Hi Rebecca, Not much happened on mypy side since the meet-up, since we were totally distracted by a big refactoring. It looks like three teams are going to work on some static typing for numeric code: * Vincent (and maybe Dominik) from Facebook (Dominik could you please add Vincent's email?) * Peng and Ashish at Google * Jukka and me at Dropbox There are two options to keep in sync: * Post all updates in this e-mail thread * Post every update in one of dedicated typing issues, for example in https://github.com/python/typing/issues/513 Let's post preferences here, I prefer the GitHub issue. There will be some discussions about Python numeric stack during Python typing summit, see this thread https://mail.python.org/archives/list/typing-sig@python.org/thread/P36XOWSKF... Also I am planning to organize an open-space dedicated to static typing of Python numeric stack during PyCon (likely on the third day). -- Ivan On Thu, 25 Apr 2019 at 15:56, Rebecca Chen <rechen@google.com> wrote:
Hi Ivan, Nice to meet you all. I'm already in this loop but I didn't start to work on that part yet. I'll sync up with Dominik soon on that matter. Best, Vincent PS: sorry for the duplicated answer, I used the wrong address :) Le dim. 28 avr. 2019 à 02:59, Ivan Levkivskyi <levkivskyi@gmail.com> a écrit :
OK, then I would propose to use https://github.com/python/typing/issues/513 for more fine grained coordination/discussions, and we can post updates/summaries/etc. here from time to time. -- Ivan On Tue, 30 Apr 2019 at 13:49, Peng Wang <wangpeng@google.com> wrote:
participants (5)
-
Ivan Levkivskyi -
Peng Wang -
Rebecca Chen -
Vincent Siles -
Vincent Siles