Die doppelt gestrichenen Buchstaben

Mit Hilfe der doppelt gestrichenen Buchstaben werden unter 􊨖lgola grundlegende Typen bezeichnet. Deren Implementierung stellt sicher, dass die Änderung eines Wertes niemals eine Änderung eines anderen nach sich zieht. Damit können diese Datentypen auch in einem sicherheitskritischen Kontext eingesetzt werden.

Im Zusammenhang mit 𝕆 und ℙ muss dabei ggf. aber sichergestellt werden, dass die referenzierten Objekte bzw. Speicherbereiche vor Veränderungen geschützt sind, da sich obige Garantie nur auf die Referenz selbst bezieht.