Issue #5472 <https://github.com/leo-editor/leo-editor/issues/4572> (concrete mypy annotations) is a juicy project that has implications beyond Leo itself. Leo's g.checker functions are dynamic checks, while Leo's mypy annotations are static checks.
The tension between dynamic and static checking is what makes type-checking so challenging. This challenge has gotten my creative juices flowing. I'll keep you informed as I go along. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/leo-editor/5402bdb3-8dd1-4a07-833d-3d847a8b6594n%40googlegroups.com.
