Re:Show HN: Koda, a typesafe functional toolkit for Python
by impoppy on Monday February 07, 2022 @02:01PM
(#30249386)
a) do Optional[Union[foo, bar]]
b) why do you expect this from a duck typed language? None of options you listed or the library is offering saves you from mismatched types. Mypy is still as good as it can possibly be using only vanilla type hints
[ Parent
| on HN ]
Re:Show HN: Koda, a typesafe functional toolkit for Python
by dragonwriter on Monday February 07, 2022 @06:56PM
(#30253257)
> None of options you listed or the library is offering saves you from mismatched types.
Even if true, so what? The utility of Maybe/Result datastructures isn't limited to their use in typechecking, though with a proper static typechecker, that is part of their use.