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.
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.