Subject: general Cecil programming issue
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Feb 08 2001 - 10:38:16 PST
As a general rule, all "object isa Foo" object creation expressions should be
wrapped inside methods, e.g. new_foo(...), which encapsulates all the issues
with creating and initializing Foo instances. They should not be written
in-line in the middle of other methods.
Also, the form "concrete object isa Foo" should be used, not just "object isa
Foo", as the former invokes typechecking to make sure that the object is
correctly implemented, while the latter leaves the object's role implicitly
dynamic. (In practice, I think there's actually no difference in the current
type checker, but once upon a time there was a difference, and there may still
be a difference in theory.)
-- Craig
This archive was generated by hypermail 2b25 : Thu Feb 08 2001 - 10:38:21 PST