On Thursday, November 20, 2025 at 4:24:37 AM UTC-6 Edward K. Ream wrote: Leo issue #4472 <https://github.com/leo-editor/leo-editor/issues/4472>is a hobby project...This sentence [from gemini3] captures my initial vague idea exactly:
Your proposal essentially transforms Pylint from an *Inference Engine* (which is slow and guess-prone) into a *Logic Validator* (which is fast and deterministic). All well and good, but pylint's --prefer-stubs <https://pylint.pycqa.org/en/latest/user_guide/configuration/all-options.html#prefer-stubs> command-line option may be the best way to help pylint. gemini3 had no part in my thought process, and I have the feeling that gemini3 may have led me astray had I continued the original discussion. In a weird way, AIs seem to have blind spots. My next step will be to adapt Leo's python importer so that it copies signatures for classes, methods and functions into a .pyi (stub) file. This will be a *much* easier project than my old make-stub-files <https://github.com/edreamleo/make-stub-files> script. It should take only a few days. 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/0579d341-eaa4-46f0-bd76-74098cbc67c0n%40googlegroups.com.
