jorisvandenbossche commented on issue #51474: URL: https://github.com/apache/arrow/issues/51474#issuecomment-5809250354
Is it needed to add yet another type checker? (the more type checkers, the more maintenance effort to keep them all happy) I find https://pyrefly.org/blog/too-many-type-checkers/ an interesting resource, which essentially says it is fine to run just one type checker on your _code_, but run multiple on the tests (as a way to test your public API with as many type checkers as possible, but for internal development just choose one). I know we don't yet actually run the type checkers on the code (or tests, since those directories are excluded), but something to think about for when are planning to enable this. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
