Ptolemy Type System Changes
Tom Lane (Structured Software Systems) has redesigned the type
resolution system in Ptolemy, fixing a number of anomalies. The key
changes are that types propagate forwards through forks rather than
backwards, that members of multiportholes are no longer constrained
to have the same data type, and that higher-order functions in the HOF
domain are evaluated in a new pre-initialization phase of execution.
This solves a number of problems:
Last updated 04/18/97,
comments to ptolemy@ptolemy.eecs.berkeley.edu.