
June 24, 2021
8:49 p.m.
Sorry, it's a little easy to get lost in all the details because there are so many variations listed, but we had indeed intended to support named args with default in the hybrid syntax, using the style you suggest. I added a comment with @Guido to the section of the table where we specified named-argument-with-default syntax. I could add another syntax proposal that allows mixing stub and hybrid format as suggested if you'd like, or we can just keep in mind that this is also on the table. And yes, agreed that arbitrary types should be allowed, I think we have some examples of callable parameters inside callable types as part of the table. - Steven