Imperative Objekte

vred.bioinf.uni.sb.de

Imperative Objekte

Programmierung 1 - Repetitorium

13.1 Speicher und Referenzen

Das Wort ref kann in Mustern wie in Konstruktor benutzt werden.

Ein Muster ref x trifft jede Referenz und bindet die Variable x an den aktuellen

Wert der Referenz.

fun deref (ref x) = x

val deref : ‘a ref -> ‘a

deref (ref 7) = 7

Weitere Magazine dieses Users
Ähnliche Magazine