I'd try for Julia, myself. It's much more like Python, and reputedly very fast. I think the program is too large to be easy to find all the things the ChatGPT would get plausible but wrong ...
On Friday, June 30, 2023 at 3:12:08 PM UTC-4 Edward K. Ream wrote: > I've just asked this question > <https://github.com/python/mypy/issues/15560> of the mypy devs. > > Any comments? :-) > > 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 on the web visit https://groups.google.com/d/msgid/leo-editor/f3de19bd-8e2e-4dfe-9fad-eb2379be9901n%40googlegroups.com.
