Lecture F2 INF5510 2017-01-24
Perl 14.15 - 16

Review of F1 including type system
Revisit of contra-variance via the pizza-junk heap-bank example in the SPE article
Short introduction to the object model: sea of objects and to the distribution model:
dividing the sea of objects into disjunct parts.
Arrays in Emerald - a walk thru of the Array.m implementation of dynamic arrays in Emerald.
Immutable types motivation, intro explanation.

Evaluation, see whiteboard picture.