On Tuesday, May 9, 2023 at 7:54:48 AM UTC-4 Edward K. Ream wrote: On Monday, May 8, 2023 at 8:16:08 AM UTC-5 Edward K. Ream wrote:
Once the technical problem disappeared it became clear that static checks of Leo's code are not likely to be of great value! There has been many words written about how important static typing is, and how therefore languages like Python cannot really be good production languages. To the contrary, I have read that only say 10% of bugs in actual working systems would have been caught by static type checking. So yes, you can't ignore getting the types right, but that's only the beginning. -- 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/3f244437-a31a-45b3-89a3-f6b09735ef33n%40googlegroups.com.
