Re: static type checking / interface definitions for Python?
Mark Lutz (mlutz@KaPRE.COM)
Fri, 23 Sep 1994 17:03:11 +0700
> There has been some work on type inference for Lisp, which is roughly
> similar concerning dynamic data types.
And for Prolog too-- comp.lang.prolog
Mark L.