3 ms·

I don't get it. If you already have type annotations just run Pyright surely?

• Ey7NFZ3P0nzAe 1y ago
  No, pyright is called on static code. Beartime is called during the python process. Basically all my functions are decorated. See for example in wdoc, my advanced personal RAG system: https://github.com/thiswillbeyourgithub/wdoc/blob/main/wdoc/utils/typechecker.py https://github.com/thiswillbeyourgithub/wdoc/blob/main/wdoc/...
  • IshKebab 1y ago
    But why do you need to check types at runtime if you've already checked them statically?
    • Ey7NFZ3P0nzAe 1y ago
      Not all code can be checked statically. See the other child of the parent post for my example :)!