2000-January Archives by Date
Starting: Sun Jan 2 00:52:52 2000
Ending: Mon Jan 31 17:46:21 2000
Messages: 230
- [Types-sig] import vs include (was: RFC Comments)
skaller
- Anti-poking lobby (was:Re: [Types-sig] type declaration syntax)
skaller
- Anti-poking lobby (was:Re: [Types-sig] type declaration syntax)
John Machin
- [Types-sig] import vs include
Greg Stein
- [Types-sig] new namespaces? no... (was: PyDL RFC 0.02)
Greg Stein
- [Types-sig] module's interface(s) (was: rebinding)
Greg Stein
- [Types-sig] Re: syntax and compile/run -time
Greg Stein
- Anti-poking lobby (was:Re: [Types-sig] type declaration syntax)
skaller
- [Types-sig] feedback: PyDL RFC 0.4
Greg Stein
- [Types-sig] feedback: PyDL RFC 0.4
Tony Lownds
- [Types-sig] Happy New Year! ... and a new demo/prototype
Greg Stein
- [Types-sig] Re: syntax and compile/run -time
Paul Prescod
- [Types-sig] Re: syntax and compile/run -time
Greg Stein
- [Types-sig] updated web pages
Greg Stein
- [Types-sig] updated proposal
Greg Stein
- [Types-sig] parameterization and syntax
Greg Stein
- [Types-sig] updated proposal
Tony Lownds
- [Types-sig] Re: feedback: PyDL RFC 0.4
Paul Prescod
- [Types-sig] feedback: PyDL RFC 0.4
Paul Prescod
- [Types-sig] parameterization and syntax
Tony Lownds
- [Types-sig] updated proposal
Tony Lownds
- [Types-sig] feedback: PyDL RFC 0.4
Greg Stein
- [Types-sig] feedback, round 2 (LONG) (Re: PyDL RFC 0.4)
Greg Stein
- [Types-sig] check.py (was: PyDL RFC 0.02)
Martijn Faassen
- [Types-sig] Re: syntax and compile/run -time
Paul Prescod
- [Types-sig] feedback: PyDL RFC 0.4
Tony Lownds
- [Types-sig] OPINIONS: Warnings
Paul Prescod
- [Types-sig] feedback: PyDL RFC 0.4
Paul Prescod
- [Types-sig] updated proposal (fwd)
Greg Stein
- [Types-sig] Typesafe
Paul Prescod
- [Types-sig] Re: feedback, round 2 (LONG) (Re: PyDL RFC 0.4)
Paul Prescod
- [Types-sig] Typesafe
John Ehresman
- [Types-sig] check.py (was: PyDL RFC 0.02)
Skip Montanaro
- [Types-sig] Re: syntax and compile/run -time
John Ehresman
- [Types-sig] Typesafe
Paul Prescod
- [Types-sig] Typesafe
John Ehresman
- [Types-sig] Re: syntax and compile/run -time
Paul Prescod
- [Types-sig] Re: syntax and compile/run -time
Greg Stein
- [Types-sig] Re: syntax and compile/run -time
scott
- [Types-sig] updated proposal (fwd)
Greg Stein
- [Types-sig] updated grammar (was: updated proposal)
Greg Stein
- [Types-sig] check.py (was: PyDL RFC 0.02)
Martijn Faassen
- [Types-sig] Re: feedback, round 2 (LONG) (Re: PyDL RFC 0.4)
Martijn Faassen
- [Types-sig] OPINIONS: Warnings
Martijn Faassen
- [Types-sig] updated proposal (fwd)
skaller
- [Types-sig] Re: syntax and compile/run -time
Paul Prescod
- [Types-sig] updated proposal (fwd)
scott
- [scott@chronis.pobox.com: Re: [Types-sig] updated proposal (fwd)]
scott
- [Types-sig] Re: syntax and compile/run -time
mengx@nielsenmedia.com
- [Types-sig] updated proposal (fwd)
scott
- [Types-sig] updated proposal (fwd)
Greg Stein
- [Types-sig] updated proposal (fwd)]
Greg Stein
- [Types-sig] compile/run -time (was: syntax and compile/run -time)
Greg Stein
- [Types-sig] type-asserts and check/run -time (was: updated proposal)
Greg Stein
- [Types-sig] Re: syntax and compile/run -time
Greg Stein
- [Types-sig] type-asserts and check/run -time
Greg Stein
- [Types-sig] updated proposal (fwd)
Greg Stein
- [Types-sig] type-asserts and check/run -time (was: updated proposal)
Tim Peters
- [Types-sig] OPINIONS: Warnings
Tim Peters
- [Types-sig] compile/run -time (was: syntax and compile/run -time)
Paul Prescod
- [scott@chronis.pobox.com: Re: [Types-sig] type-asserts and check/run -time (was: updated proposal)]
scott
- [Types-sig] updated proposal (fwd)]
scott
- [Types-sig] updated proposal (fwd)]
Greg Stein
- [Types-sig] type-asserts and check/run -time (was: updated proposal)
skaller
- [Types-sig] updated proposal (fwd)
skaller
- [Types-sig] updated proposal (fwd)
skaller
- [Types-sig] updated proposal (fwd)
skaller
- [Types-sig] updated proposal (fwd)
scott
- [Types-sig] type-asserts and check/run -time (was: updated proposal)
Tim Peters
- [Types-sig] run-time typer (was Re: syntax and compile/run -time)
Tony Lownds
- [Types-sig] correct url: http://tony.lownds.com/python/typefn.py
Tony Lownds
- [Types-sig] Re: correct url: http://tony.lownds.com/python/typefn.py
mengx@nielsenmedia.com
- [Types-sig] Last month's activity
Michael Hudson
- [Types-sig] run-time typer
Greg Stein
- [Types-sig] updated proposal again
Greg Stein
- [Types-sig] Last month's activity
Christian Tismer
- [Types-sig] Last month's activity
Michael Hudson
- [Types-sig] run-time typer
Tony Lownds
- [Types-sig] updated proposal again
Tony Lownds
- [Types-sig] Suggestions for python 2
Edward Welbourne
- [Types-sig] Suggestions for python 2
Guido van Rossum
- [PSA MEMBERS] Re: [Types-sig] Suggestions for python 2
Edward Welbourne
- [Types-sig] Suggestions for python 2
skaller
- [PSA MEMBERS] Re: [Types-sig] Suggestions for python 2
Edward Welbourne
- [PSA MEMBERS] Re: [Types-sig] Suggestions for python 2
Jeremy Hylton
- [Types-sig] developers' day session on compiling
Jeremy Hylton
- [PSA MEMBERS] Re: [Types-sig] Suggestions for python 2
skaller
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] Re: puzzle about subtyping and parameterization
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Jeremy Hylton
- [Types-sig] Static typing: Towards closure?
Skip Montanaro
- [Types-sig] Static typing: Towards closure?
Mark Hammond
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [scott@chronis.pobox.com: Re: [Types-sig] Static typing: Towards closure?]
scott
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] [scott@chronis.pobox.com: Re: optional]
scott
- [Types-sig] Static typing: Towards closure? - parameterization
scott
- [Types-sig] Static typing: Towards closure? - parameterization
Guido van Rossum
- [Types-sig] Static typing: Towards closure? - parameterization
scott
- [Types-sig] question regarding adding words to the grammar
scott
- [Types-sig] Static typing: Towards closure?
scott
- [Types-sig] question regarding adding words to the grammar
Guido van Rossum
- [Types-sig] question regarding adding words to the grammar
Tim Peters
- [Types-sig] Static typing: Towards closure?
Tim Peters
- [Types-sig] Static typing: Towards closure? - parameterization
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Christian Tismer
- [Types-sig] Static typing: Towards closure?
Jeremy Hylton
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
David Ascher
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
David Ascher
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
Tim Peters
- [Types-sig] Static typing: Towards closure?
Jeremy Hylton
- [Types-sig] Static typing: Towards closure?
Paul Prescod
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
Paul Prescod
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
scott
- [Types-sig] Static typing: Towards closure?
Martijn Faassen
- [Types-sig] Static typing: Towards closure?
scott
- [Types-sig] Static typing: Towards closure?
scott
- [Types-sig] Static typing: Towards closure?
Greg Stein
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] what the heck? (was: Static typing: Towards closure?)
Greg Stein
- [Types-sig] Static typing: Towards closure?
scott
- [Types-sig] Re: what the heck? (was: Static typing: Towards closure?)
Martijn Faassen
- [Types-sig] Re: what the heck? (was: Static typing: Towards closure?)
Greg Stein
- [Types-sig] Static typing: Towards closure?
Tony Lownds
- [Types-sig] lambdas, classes, tuples, default arguments, map
Tony Lownds
- [Types-sig] Static typing: Towards closure?
Richard Colley
- [Types-sig] Static typing: Towards closure?
Tim Peters
- [Types-sig] namespaces (was: Changing existing class instances)
Greg Stein
- [Types-sig] namespaces (was: Changing existing class instances)
Greg Stein
- [Types-sig] namespaces
Greg Stein
- [Types-sig] namespaces
scott
- [Types-sig] namespaces
Guido van Rossum
- [Types-sig] namespaces
Greg Stein
- [Types-sig] Static typing: Towards closure?
Greg Stein
- [Types-sig] performance (was: Static typing: Towards closure?)
Greg Stein
- [Types-sig] namespaces
Guido van Rossum
- [Types-sig] namespaces
scott
- [Types-sig] namespaces
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Guido van Rossum
- [Types-sig] namespaces
Greg Stein
- [Types-sig] namespaces
scott
- [scott@chronis.pobox.com: Re: [Types-sig] namespaces]
scott
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Greg Stein
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Guido van Rossum
- [Types-sig] namespaces (was: Changing existing class instances)
Paul Prescod
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Jeremy Hylton
- [Types-sig] Static typing: Towards closure?
Skip Montanaro
- [Types-sig] lambdas, classes, tuples, default arguments, map
Jeremy Hylton
- [Types-sig] Static typing: Towards closure?
Skip Montanaro
- [Types-sig] Static typing: Towards closure?
Vladimir.Marangozov@inrialpes.fr
- [Types-sig] Static typing: Towards closure? (fwd)
Vladimir Marangozov
- [Types-sig] lambdas, classes, tuples, default arguments, map
Tony Lownds
- [Types-sig] lambdas, classes, tuples, default arguments, map
Guido van Rossum
- [Types-sig] Static typing: Towards closure?
Paul Prescod
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] namespaces
skaller
- [Types-sig] namespaces (was: Changing existing class instances)
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
Jeremy Hylton
- [Types-sig] Static typing: Towards closure?
Skip Montanaro
- [Types-sig] updated proposal
Greg Stein
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] typecase hack
Guido van Rossum
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Tim Peters
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
Jeremy Hylton
- [Types-sig] lambdas, classes, tuples, default arguments, map
Tim Peters
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] lambdas, classes, tuples, default arguments, map
scott
- [Types-sig] typecase hack
scott
- [Types-sig] lambdas, classes, tuples, default arguments, map
Tony Lownds
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
Jeremy Hylton
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Jeremy Hylton
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Tim Peters
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] Syntax issues
Paul Prescod
- [Types-sig] Type-checked code calling unchecked code
Paul Prescod
- [Types-sig] Type-checked code calling unchecked code
Guido van Rossum
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
Paul Prescod
- [Types-sig] Interfaces should be on the table
Paul Prescod
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Tim Peters
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
Jeremy Hylton
- [Types-sig] lambdas, classes, tuples, default arguments, map
Tim Peters
- [Types-sig] Type-checked code calling unchecked code
scott
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
scott
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Tim Peters
- [Types-sig] Type-checked code calling unchecked code
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] Type-checked code calling unchecked code
scott
- [Types-sig] Type-checked code calling unchecked code
skaller
- [Types-sig] evaluating '!' [subject changed]
scott
- [Types-sig] how to do a typecase?
Greg Stein
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Tim Peters
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Vladimir Marangozov
- [Types-sig] Re: evaluating '!' [subject changed]
skaller
- [Types-sig] how to do a typecase? (was: Static typing: Towards
closure?)
skaller
- [Types-sig] Typing
skaller
- [Types-sig] how to do a typecase?
Greg Stein
- [Types-sig] how to do a typecase? (was: Static typing: Towards closure?)
Tim Peters
- [Types-sig] type checking (was: how to do a typecase?)
Greg Stein
- [Types-sig] how to do a typecase?
Tim Peters
- [Types-sig] how to do a typecase?
skaller
- [Types-sig] experimenting with type checking (was: how to do a typecase?)
Greg Stein
- [Types-sig] Re: evaluating '!'
Greg Stein
- [Types-sig] Re: evaluating '!'
skaller
- [Types-sig] updated prototype
Greg Stein
- [Types-sig] Re: evaluating '!'
scott
- [Types-sig] Re: evaluating '!'
Tim Peters
- [Types-sig] STICK - static type and interface checking for python
scott
- [Types-sig] Typing
Jeremy Hylton
- [Types-sig] STICK - static type and interface checking for python
scott
- [Types-sig] Re: puzzle about subtyping and parameterization
Moshe Zadka
- [Types-sig] Re: puzzle about subtyping and parameterization
Tim Peters
- [Types-sig] Typing
Tim Peters
- [Types-sig] Whereto from here?
Paul Prescod
- [Types-sig] Whereto from here?
scott
- [Types-sig] Whereto from here?
Guido van Rossum
- [Types-sig] Typing
skaller
Last message date:
Mon Jan 31 17:46:21 2000
Archived on: Mon Dec 4 15:47:19 2000
This archive was generated by
Pipermail 0.05 (Mailman edition).