/usr/share/doc/racket/deinprogramm/Signaturen.html is in racket-doc 6.1-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"/><title>1.11 Signaturen</title><link rel="stylesheet" type="text/css" href="../scribble.css" title="default"/><link rel="stylesheet" type="text/css" href="../racket.css" title="default"/><link rel="stylesheet" type="text/css" href="../manual-style.css" title="default"/><link rel="stylesheet" type="text/css" href="../manual-racket.css" title="default"/><link rel="stylesheet" type="text/css" href="../doc-site.css" title="default"/><script type="text/javascript" src="../scribble-common.js"></script><script type="text/javascript" src="../manual-racket.js"></script><script type="text/javascript" src="../doc-site.js"></script><script type="text/javascript" src="../local-redirect/local-redirect.js"></script><script type="text/javascript" src="../local-redirect/local-user-redirect.js"></script><!--[if IE 6]><style type="text/css">.SIEHidden { overflow: hidden; }</style><![endif]--></head><body id="doc-racket-lang-org"><div class="tocset"><div class="tocview"><div class="tocviewlist tocviewlisttopspace"><div class="tocviewtitle"><table cellspacing="0" cellpadding="0"><tr><td style="width: 1em;"><a href="javascript:void(0);" title="Expand/Collapse" class="tocviewtoggle" onclick="TocviewToggle(this,"tocview_0");">►</a></td><td></td><td><a href="index.html" class="tocviewlink" data-pltdoc="x">Sprachebenen und Material zu <span style="font-style: italic">Die Macht der Abstraktion</span></a></td></tr></table></div><div class="tocviewsublisttop" style="display: none;" id="tocview_0"><table cellspacing="0" cellpadding="0"><tr><td align="right">1 </td><td><a href="DMdA-beginner.html" class="tocviewselflink" data-pltdoc="x">Die Macht der Abstraktion -<wbr></wbr> Anfänger</a></td></tr><tr><td align="right">2 </td><td><a href="DMdA-vanilla.html" class="tocviewlink" data-pltdoc="x">Die Macht der Abstraktion</a></td></tr><tr><td align="right">3 </td><td><a href="DMdA-assignments.html" class="tocviewlink" data-pltdoc="x">Die Macht der Abstraktion mit Zuweisungen</a></td></tr><tr><td align="right">4 </td><td><a href="DMdA-advanced.html" class="tocviewlink" data-pltdoc="x">Die Macht der Abstraktion fortgeschritten</a></td></tr><tr><td align="right">5 </td><td><a href="Konstruktionsanleitungen_1_bis_10.html" class="tocviewlink" data-pltdoc="x">Konstruktionsanleitungen 1 bis 10</a></td></tr><tr><td align="right">6 </td><td><a href="image.html" class="tocviewlink" data-pltdoc="x">Bilder konstruieren:<span class="mywbr"> </span> <span class="stt">"image.ss"</span><a name="(idx._(gentag._2._(lib._deinprogramm/scribblings/deinprogramm..scrbl)))"></a></a></td></tr><tr><td align="right">7 </td><td><a href="world.html" class="tocviewlink" data-pltdoc="x">Animationen:<span class="mywbr"> </span> <span class="stt">"world.ss"</span><a name="(idx._(gentag._3._(lib._deinprogramm/scribblings/deinprogramm..scrbl)))"></a></a></td></tr><tr><td align="right">8 </td><td><a href="turtle.html" class="tocviewlink" data-pltdoc="x">Turtle-<wbr></wbr>Grafik:<span class="mywbr"> </span> <span class="stt">"turtle.ss"</span><a name="(idx._(gentag._4._(lib._deinprogramm/scribblings/deinprogramm..scrbl)))"></a></a></td></tr><tr><td align="right">9 </td><td><a href="sound.html" class="tocviewlink" data-pltdoc="x">Abspielen von Audio-<wbr></wbr>Dateien:<span class="mywbr"> </span> <span class="stt">"sound.ss"</span><a name="(idx._(gentag._5._(lib._deinprogramm/scribblings/deinprogramm..scrbl)))"></a></a></td></tr><tr><td align="right">10 </td><td><a href="line3d.html" class="tocviewlink" data-pltdoc="x">3D-<wbr></wbr>Liniengraphik:<span class="mywbr"> </span> <span class="stt">"line3d.ss"</span><a name="(idx._(gentag._6._(lib._deinprogramm/scribblings/deinprogramm..scrbl)))"></a></a></td></tr><tr><td align="right">11 </td><td><a href="DMdA__Sprachen_als_Libraries.html" class="tocviewlink" data-pltdoc="x"><span style="font-weight: bold">DMd<span class="mywbr"> </span>A</span>:<span class="mywbr"> </span> Sprachen als Libraries</a></td></tr><tr><td align="right"></td><td><a href="doc-index.html" class="tocviewlink" data-pltdoc="x">Index</a></td></tr></table></div></div><div class="tocviewlist"><table cellspacing="0" cellpadding="0"><tr><td style="width: 1em;"><a href="javascript:void(0);" title="Expand/Collapse" class="tocviewtoggle" onclick="TocviewToggle(this,"tocview_1");">▼</a></td><td>1 </td><td><a href="DMdA-beginner.html" class="tocviewlink" data-pltdoc="x">Die Macht der Abstraktion -<wbr></wbr> Anfänger</a></td></tr></table><div class="tocviewsublist" style="display: block;" id="tocview_1"><table cellspacing="0" cellpadding="0"><tr><td align="right">1.1 </td><td><a href="Definitionen.html" class="tocviewlink" data-pltdoc="x">Definitionen</a></td></tr><tr><td align="right">1.2 </td><td><a href="Record-Typ-Definitionen.html" class="tocviewlink" data-pltdoc="x">Record-<wbr></wbr>Typ-<wbr></wbr>Definitionen</a></td></tr><tr><td align="right">1.3 </td><td><a href="application.html" class="tocviewlink" data-pltdoc="x">Prozedurapplikation</a></td></tr><tr><td align="right">1.4 </td><td><a href="_t_and__f.html" class="tocviewlink" data-pltdoc="x"><span class="RktVal">#t</span> and <span class="RktVal">#f</span></a></td></tr><tr><td align="right">1.5 </td><td><a href="lambda.html" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">lambda</span></span></a></td></tr><tr><td align="right">1.6 </td><td><a href="id.html" class="tocviewlink" data-pltdoc="x">Bezeichner</a></td></tr><tr><td align="right">1.7 </td><td><a href="cond.html" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">cond</span></span></a></td></tr><tr><td align="right">1.8 </td><td><a href="if.html" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">if</span></span></a></td></tr><tr><td align="right">1.9 </td><td><a href="and.html" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">and</span></span></a></td></tr><tr><td align="right">1.10 </td><td><a href="or.html" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">or</span></span></a></td></tr><tr><td align="right">1.11 </td><td><a href="" class="tocviewselflink" data-pltdoc="x">Signaturen</a></td></tr><tr><td align="right">1.12 </td><td><a href="Testf_lle.html" class="tocviewlink" data-pltdoc="x">Testfälle</a></td></tr><tr><td align="right">1.13 </td><td><a href="Parametrische_Record-Typ-Definitionen.html" class="tocviewlink" data-pltdoc="x">Parametrische Record-<wbr></wbr>Typ-<wbr></wbr>Definitionen</a></td></tr><tr><td align="right">1.14 </td><td><a href="Eigenschaften.html" class="tocviewlink" data-pltdoc="x">Eigenschaften</a></td></tr><tr><td align="right">1.15 </td><td><a href="beginner-prim-ops.html" class="tocviewlink" data-pltdoc="x">Primitive Operationen</a></td></tr></table></div></div><div class="tocviewlist"><table cellspacing="0" cellpadding="0"><tr><td style="width: 1em;"><a href="javascript:void(0);" title="Expand/Collapse" class="tocviewtoggle" onclick="TocviewToggle(this,"tocview_2");">►</a></td><td>1.11 </td><td><a href="" class="tocviewselflink" data-pltdoc="x">Signaturen</a></td></tr></table><div class="tocviewsublistbottom" style="display: none;" id="tocview_2"><table cellspacing="0" cellpadding="0"><tr><td align="right">1.11.1 </td><td><a href="#%28part._signature%29" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">signature</span></span></a></td></tr><tr><td align="right">1.11.2 </td><td><a href="#%28part._.Signaturdeklaration%29" class="tocviewlink" data-pltdoc="x">Signaturdeklaration</a></td></tr><tr><td align="right">1.11.3 </td><td><a href="#%28part._.Eingebaute_.Signaturen%29" class="tocviewlink" data-pltdoc="x">Eingebaute Signaturen</a></td></tr><tr><td align="right">1.11.4 </td><td><a href="#%28part._predicate%29" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">predicate</span></span></a></td></tr><tr><td align="right">1.11.5 </td><td><a href="#%28part._one-of%29" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">one-<wbr></wbr>of</span></span></a></td></tr><tr><td align="right">1.11.6 </td><td><a href="#%28part._mixed%29" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">mixed</span></span></a></td></tr><tr><td align="right">1.11.7 </td><td><a href="#%28part._proc-signature%29" class="tocviewlink" data-pltdoc="x">Prozedur-<wbr></wbr>Signatur</a></td></tr><tr><td align="right">1.11.8 </td><td><a href="#%28part._signature-variable%29" class="tocviewlink" data-pltdoc="x">Signatur-<wbr></wbr>Variablen</a></td></tr><tr><td align="right">1.11.9 </td><td><a href="#%28part._combined%29" class="tocviewlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">combined</span></span></a></td></tr></table></div></div></div><div class="tocsub"><div class="tocsubtitle">On this page:</div><table class="tocsublist" cellspacing="0"><tr><td><span class="tocsublinknumber">1.11.1<tt> </tt></span><a href="#%28part._signature%29" class="tocsubseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">signature</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._signature%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">signature</span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.2<tt> </tt></span><a href="#%28part._.Signaturdeklaration%29" class="tocsubseclink" data-pltdoc="x">Signaturdeklaration</a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._~3a%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">:</span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.3<tt> </tt></span><a href="#%28part._.Eingebaute_.Signaturen%29" class="tocsubseclink" data-pltdoc="x">Eingebaute Signaturen</a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._number%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">number</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._real%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">real</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._rational%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">rational</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._integer%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">integer</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._natural%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">natural</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._boolean%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">boolean</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._true%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">true</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._false%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">false</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._string%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">string</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._empty-list%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">empty-<wbr></wbr>list</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._any%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">any</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._property%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">property</span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.4<tt> </tt></span><a href="#%28part._predicate%29" class="tocsubseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">predicate</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._predicate%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">predicate</span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.5<tt> </tt></span><a href="#%28part._one-of%29" class="tocsubseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">one-<wbr></wbr>of</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._one-of%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">one-<wbr></wbr>of</span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.6<tt> </tt></span><a href="#%28part._mixed%29" class="tocsubseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">mixed</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._mixed%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">mixed</span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.7<tt> </tt></span><a href="#%28part._proc-signature%29" class="tocsubseclink" data-pltdoc="x">Prozedur-<wbr></wbr>Signatur</a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._-~3e%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink"><span class="nobreak">-<wbr></wbr>></span></span></span></a></td></tr><tr><td><span class="tocsublinknumber">1.11.8<tt> </tt></span><a href="#%28part._signature-variable%29" class="tocsubseclink" data-pltdoc="x">Signatur-<wbr></wbr>Variablen</a></td></tr><tr><td><span class="tocsublinknumber">1.11.9<tt> </tt></span><a href="#%28part._combined%29" class="tocsubseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">combined</span></span></a></td></tr><tr><td><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._combined%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">combined</span></span></a></td></tr></table></div></div><div class="maincolumn"><div class="main"><div class="navsettop"><span class="navleft"><form class="searchform"><input class="searchbox" style="color: #888;" type="text" value="...search manuals..." title="Enter a search string to search the manuals" onkeypress="return DoSearchKey(event, this, "6.1", "../");" onfocus="this.style.color="black"; this.style.textAlign="left"; if (this.value == "...search manuals...") this.value="";" onblur="if (this.value.match(/^ *$/)) { this.style.color="#888"; this.style.textAlign="center"; this.value="...search manuals..."; }"/></form> <a href="../index.html" title="up to the documentation top" data-pltdoc="x" onclick="return GotoPLTRoot("6.1");">top</a></span><span class="navright"> <a href="or.html" title="backward to "1.10 or"" data-pltdoc="x">← prev</a> <a href="DMdA-beginner.html" title="up to "1 Die Macht der Abstraktion - Anfänger"" data-pltdoc="x">up</a> <a href="Testf_lle.html" title="forward to "1.12 Testfälle"" data-pltdoc="x">next →</a></span> </div><h4 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""Signaturen"">1.11<tt> </tt><a name="(part._.Signaturen)"></a>Signaturen</h4><p>Signaturen können statt der Verträge aus dem Buch geschrieben werden:
Während Verträge reine Kommentare sind, überprüft DrRacket Signaturen
und meldet etwaige Verletzungen.</p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""signature"">1.11.1<tt> </tt><a name="(part._signature)"></a><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._signature%29%29" class="RktStxLink" data-pltdoc="x">signature</a></span></h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._signature))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._signature%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">signature</a></span></span><span class="hspace"> </span><span class="RktVar">sig</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Diese Form liefert die Signatur mit der Notation <span class="RktVar">sig</span>.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""Signaturdeklaration"">1.11.2<tt> </tt><a name="(part._.Signaturdeklaration)"></a>Signaturdeklaration</h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._~3a))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._~3a%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">:</a></span></span><span class="hspace"> </span><span class="RktVar">id</span><span class="hspace"> </span><span class="RktVar">sig</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Diese Form erklärt <span class="RktVar">sig</span> zur gültigen Signatur für <span class="RktVar">id</span>.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""Eingebaute_Signaturen"">1.11.3<tt> </tt><a name="(part._.Eingebaute_.Signaturen)"></a>Eingebaute Signaturen</h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._number))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._number%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">number</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für beliebige Zahlen.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._real))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._real%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">real</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für reelle Zahlen.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._rational))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._rational%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">rational</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für rationale Zahlen.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._integer))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._integer%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">integer</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für ganze Zahlen.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._natural))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._natural%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">natural</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für ganze, nichtnegative Zahlen.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._boolean))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._boolean%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">boolean</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für boolesche Werte.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._true))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._true%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">true</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für \scheme[#t].</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._false))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._false%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">false</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für \scheme[#f].</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._string))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._string%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">string</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für Zeichenketten.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._empty-list))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._empty-list%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">empty-list</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für die leere Liste.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._any))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._any%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">any</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur, die auf alle Werte gültig ist.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktVar">signature</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für Signaturen.</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._property))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._property%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">property</a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Signatur für Eigenschaften.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""predicate"">1.11.4<tt> </tt><a name="(part._predicate)"></a><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._predicate%29%29" class="RktStxLink" data-pltdoc="x">predicate</a></span></h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._predicate))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._predicate%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">predicate</a></span></span><span class="hspace"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Bei dieser Signatur muß <span class="RktVar">expr</span> als Wert ein Prädikat haben, also
eine Prozedur, die einen beliebigen Wert akzeptiert und entweder <span class="RktVal">#t</span>
oder <span class="RktVal">#f</span> zurückgibt.
Die Signatur ist dann für einen Wert gültig, wenn das Prädikat, darauf angewendet,
<span class="RktVal">#t</span> ergibt.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""one-of"">1.11.5<tt> </tt><a name="(part._one-of)"></a><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._one-of%29%29" class="RktStxLink" data-pltdoc="x">one-of</a></span></h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._one-of))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._one-of%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">one-of</a></span></span><span class="hspace"> </span><span class="RktVar">expr</span><span class="hspace"> </span><span class="RktMeta">...</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Diese Signatur ist für einen Wert gültig, wenn er gleich dem Wert eines
der <span class="RktVar">expr</span> ist.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""mixed"">1.11.6<tt> </tt><a name="(part._mixed)"></a><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._mixed%29%29" class="RktStxLink" data-pltdoc="x">mixed</a></span></h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._mixed))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._mixed%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">mixed</a></span></span><span class="hspace"> </span><span class="RktVar">sig</span><span class="hspace"> </span><span class="RktMeta">...</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Diese Signatur ist für einen Wert gültig, wenn er für eine der Signaturen
<span class="RktVar">sig</span> gültig ist.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""proc-signature"">1.11.7<tt> </tt><a name="(part._proc-signature)"></a>Prozedur-Signatur</h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._-~3e))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._-~3e%29%29" class="RktStxDef RktStxLink" data-pltdoc="x"><span class="nobreak">-></span></a></span></span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><span class="RktVar">sig</span><span class="hspace"> </span><span class="RktMeta">...</span><span class="hspace"> </span><span class="RktVar">-></span><span class="hspace"> </span><span class="RktVar">sig</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Diese Signatur ist dann für einen Wert gültig, wenn dieser eine
Prozedur ist. Er erklärt außerdem, daß die Signaturen vor dem <span class="RktVar">-></span>
für die Argumente der Prozedur gelten und die Signatur nach dem <span class="RktVar">-></span>
für den Rückgabewert.
}</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""signature-variable"">1.11.8<tt> </tt><a name="(part._signature-variable)"></a>Signatur-Variablen</h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktVar">%a</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktVar">%b</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktVar">%c</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktMeta">...</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Dies ist eine Signaturvariable: sie steht für eine Signatur, die für jeden Wert gültig ist.</div></p><h5 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-part-tag=""combined"">1.11.9<tt> </tt><a name="(part._combined)"></a><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._combined%29%29" class="RktStxLink" data-pltdoc="x">combined</a></span></h5><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._deinprogramm/.D.Md.A..rkt)._combined))"></a><span title="Provided from: deinprogramm/DMdA-beginner | Package: deinprogramm"><span class="RktSym"><a href="#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._combined%29%29" class="RktStxDef RktStxLink" data-pltdoc="x">combined</a></span></span><span class="hspace"> </span><span class="RktVar">sig</span><span class="hspace"> </span><span class="RktMeta">...</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">Diese Signatur ist für einen Wert gültig, wenn sie für alle der Signaturen
<span class="RktVar">sig</span> gültig ist.</div></p><div class="navsetbottom"><span class="navleft"><form class="searchform"><input class="searchbox" style="color: #888;" type="text" value="...search manuals..." title="Enter a search string to search the manuals" onkeypress="return DoSearchKey(event, this, "6.1", "../");" onfocus="this.style.color="black"; this.style.textAlign="left"; if (this.value == "...search manuals...") this.value="";" onblur="if (this.value.match(/^ *$/)) { this.style.color="#888"; this.style.textAlign="center"; this.value="...search manuals..."; }"/></form> <a href="../index.html" title="up to the documentation top" data-pltdoc="x" onclick="return GotoPLTRoot("6.1");">top</a></span><span class="navright"> <a href="or.html" title="backward to "1.10 or"" data-pltdoc="x">← prev</a> <a href="DMdA-beginner.html" title="up to "1 Die Macht der Abstraktion - Anfänger"" data-pltdoc="x">up</a> <a href="Testf_lle.html" title="forward to "1.12 Testfälle"" data-pltdoc="x">next →</a></span> </div></div></div><div id="contextindicator"> </div></body></html>
|