\begin{slide}{Maßeinheiten in F\#}

physikalische Größe $=$ Maßzahl $\times$ Einheit.

viele teure Softwarefehler durch Ignorieren der Einheiten.

in F\# (Syme, 200?), aufbauend auf ML (Milner, 197?)

\begin{verbatim}
[<Measure>] type kg ;;
let x = 1<kg> ;;
x * x ;;
[<Measure>] type s ;;
let y = 2<s> ;;
x * y ;;
x + y ;;
\end{verbatim}

\url{http://msdn.microsoft.com/en-us/library/dd233243.aspx}

\end{slide}
