datatype val
= Unit ―‹dummy result value of void expressions›
| Null ―‹null reference›
| Bool bool ―‹Boolean value›
| Intg int ―‹integer value›
| Addr addr ―‹addresses of objects in the heap›
primrec the_Addr :: "val → addr" where "the_Addr (Addr a) = a"
primrec default_val :: "ty → val"―‹default value for all types› where "default_val Void = Unit"
| "default_val Boolean = Bool False"
| "default_val Integer = Intg 0"
| "default_val NT = Null"
| "default_val (Class C) = Null"
end
Messung V0.5 in Prozent
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.9Angebot
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-09-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
