Talk:Evaluate binomial coefficients: Difference between revisions

Content added Content deleted
Line 143: Line 143:


:: The HM comment: '''enumFromTo :: Enum a => a -> a -> [a]'''
:: The HM comment: '''enumFromTo :: Enum a => a -> a -> [a]'''

:: (A list of values derived from a start value and and end value of the same type,
:: as long as that type is enumerable)


:: is more informative to the reader, and less verbose, than the mypy type hint:
:: is more informative to the reader, and less verbose, than the mypy type hint:
Line 148: Line 151:
:: '''def enumFromTo(m: Any) -> Callable[[Any], List[Any]]:'''
:: '''def enumFromTo(m: Any) -> Callable[[Any], List[Any]]:'''


:: Which has no semantics for indicating a restriction to enumerable types ...
:: Which has no convention for indicating a restriction to enumerable types.