Re: [Python][Bikeshed] typehint vs. type-hint vs. "type hint"

2022-11-09 Thread Austin Bennett
+1 And, well articulated, @Robert Burke ! On Wed, Nov 9, 2022 at 10:43 AM Robert Burke wrote: > +1 to standardizing on "type hint" > > I learned that there's a rule in English that defines when one would have > a space in a compound word or not. If removing one of the components would > change

Re: [Python][Bikeshed] typehint vs. type-hint vs. "type hint"

2022-11-09 Thread Robert Burke
+1 to standardizing on "type hint" I learned that there's a rule in English that defines when one would have a space in a compound word or not. If removing one of the components would change the meaning of the others, the space should be removed. Eg. By removing "type", it's still a hint, so "typ

Re: [Python][Bikeshed] typehint vs. type-hint vs. "type hint"

2022-11-09 Thread Kenneth Knowles
+1 to "type hint" for referring to hinting that something has a particular type, and "type" for referring to a... type. On Mon, Nov 7, 2022 at 7:27 AM Jack McCluskey via dev wrote: > I'm in agreement that how we refer to type hints in documentation should > be standardized across the board. It's

Re: [Python][Bikeshed] typehint vs. type-hint vs. "type hint"

2022-11-07 Thread Jack McCluskey via dev
I'm in agreement that how we refer to type hints in documentation should be standardized across the board. It's a good practice for both style and clarity. Seems like it wouldn't be too hard to update our docstrings either, based on a quick search of the repo. On Mon, Nov 7, 2022 at 9:00 AM Brian

[Python][Bikeshed] typehint vs. type-hint vs. "type hint"

2022-11-07 Thread Brian Hulette via dev
Hi everyone, In a recent code review we noticed that we are not consistent when describing python type hints in documentation. Depending on who wrote the patch, we switch between typehint, type-hint, and "type hint" [1]. I think we should standardize on "type hint" as this is what Guido used in P