Talk:Evaluate binomial coefficients: Difference between revisions

Line 126:
: The Python3 compiler tolerates, but '''does not use''', these type hints.
 
: The RC user could install the Python3 version of '''mypy''' and run a type check which did use them, but would that be worth their while ? How many would do that ?
 
: The use of parseable type hints rather than comments introduces a larger surface for bugs:
Line 142:
 
: My personal verdict is that in languages like Idris, Agda, Haskell, where the compiler does use the type signatures, they are excellent and indispensable, but that in Python3, which doesn't yet use them, they are a nice idea, but no more in practice than a source of additional bugs, and, if used in place of type comments, just make things less clear and more difficult for the reader.
: Even Donald was clearly confused by them, assigning wrong types, and inadvertently introducing in hiswhat he presumably hoped to be an 'improvement', both compiler and mypy errors ...
 
: Nice idea, but perhaps doesn't yet survive experiment, or actually benefit RC readers ? Maybe when Python4 comes ? [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 08:55, 24 February 2019 (UTC)
 
:: [[User:Paddy3118|Paddy3118]] Do feel free to introduce type hints into your own code - but please desist from deleting my type comments and replacing them with these hints. They damage the legibility of the code, expand the surface for bugs, and in Python3, offer no benefit whatsoever to the compiler [[User:Hout|Hout]] ([[User talk:Hout|talk]]) 09:02, 24 February 2019 (UTC)
9,655

edits