One of the chief advantages Haskell (and, to a much lesser extent, Go) has over vanilla Python is that static typing vastly improves upon #1 and #2. If you do

One of the chief advantages Haskell (and, to a much lesser extent, Go) has over vanilla Python is that static typing vastly improves upon #1 and #2. If you do end up going the Python route, I suggest you enforce using Python 3 type annotations, and use an external validator (such as mypy) to try and capture as much of that value as possible.