[Types-sig] Static typing: Towards closure?

[Tony Lownds]

isinstance is a builtin today 

decl def isinstance(any, class|type) -> 0|1

Sorry to jump into the thread, but I'm curious as to whether this
declaration is how it would be written...

-Tony

On Thu, 20 Jan 2000, scott wrote:

> Do you mean to add the word 'isinstance' as a keyword in the grammar,
> or to use the builtin function?  As a keyword, it seems very tricky to
> make it call some internal 'isinstance' that is no longer available as
> a builtin.  As a builtin, we have lots of problems:
> 
> if sys.argv[1:] or isinstance(x, int):
> 
> if isinstance(x, int) == 1:
> 
> etc.
> 
> hmm.
> 
> scott
> 
> 
> 
> _______________________________________________
> Types-SIG mailing list
> Types-SIG@python.org
> http://www.python.org/mailman/listinfo/types-sig
>