As far as static typing for python goes, mypy seems to be the GvR-endorsed solution these days: http://mypy-lang.org/
On Mon, Feb 23, 2015 at 3:24 PM, Edward K. Ream <[email protected]> wrote: > I am now working on three projects simultaneously: Leo 5.1 (@clean), Leo > as an external diff, and a web-based Leo viewer. > > @clean is the most important. It promises a large increase in the number > of people that use Leo. That will increase the usefulness of having a > web-based viewer for Leo. @clean also promises to make Leo a real choice > for developers. That will make Leo as an external diff program more > valuable. > > Edward > > P.S. I have also started on a fourth project, a re-imagining of the > static type checking project. I think of it as a static *design* checker. > The present plan is to replace almost all type inference with something > simpler. This must take a back seat now to the other projects, but I'll be > working on the project from time to time. > > EKR > > -- > 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 post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
