What goes inside a class?

• fields or slots

• methods

• static methods and variables

• non-method functions and variables, as distinct from static functions/variables? NO (insufficient motivation)

• distinct syntax for getters and setters? YES

• motivation - allows you to change from assignment to functions without changes to dependent user's code

• can we restrict ourselves to getters and setters for properties that don't take arguments?

• can these be overridden in subclasses? Aren't these handled in the same way as normal methods, though?

Some concerns to be addressed, e.g. syntax.