Note however that as I understand it D does not have "immutable types" as claimed by patent 20140196008. The difference is that according to the patent the immutable attribute is given to the type and applies to all instances of this type, whereas in D the immutable attribute applies to an instance (I may be wrong about that one, since I haven't done anything in D for years even if I try to keep up with the forums).
However, scala case classes should constitute prior art for this
patent.
Jerome
