Wash. D.C. Area: DCPIGgies, Mar. 13
jeremy at cnri.reston.va.us
Mon Feb 14 22:21:10 CET 2000
Notice to all Washington DC area Python users:
We will be having our first DCPIGgies (DC Python Interest Group)
meeting of the year on Monday March 13, 2000 from 7:30pm to 9:00pm at
CNRI in Reston, Va.
Speaker: Scott Cotton
Static Type and Interface Checking for Python
General Review and Fundamental Decisions
This presentation reviews various possible ways of adding static type
checking to python. The problem poses two questions:
1) What sort of static type checking system would be most
appropriate for python?
2) By what means may static type checking be made optional?
A decision tree for each question is presented based on a combination
of type theory, an understanding of python, and properties that have
become apparent in the development of a sample type checking system.
Finally, we discuss some overall approaches that would maximize the
benefits and/or minimize the drawbacks of adding optional static type
checking to python.
Scott will be speaking from 8:00 to 9:00pm. We will have food and
introductions starting at 7:30pm. We may also have some time after
the talk for Q&A with Guido and Barry on Python and JPython.
Pizza, salad, and soda will be provided courtesy of Foretec Seminars.
Please RSVP by email to jeremy at cnri.reston.va.us. I need to know how
many people will attend and how many will be eating pizza.
Directions to CNRI can be found on the Web:
Mailing list: There is a mailing list for people interested in
DCPIGgies meetings; see http://www.python.org/mailman/listinfo/dcpiggies.
This is a low volume list for announcing meetings, arranging to share
rides, and other thrilling PIGgy topics.
See you there!
More information about the Python-list