/usr/share/doc/racket/deinprogramm/DMdA-beginner.html is in racket-doc 6.7-3.
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 | <!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 Die Macht der Abstraktion - Anfänger</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="" 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="" class="tocviewselflink" data-pltdoc="x">Die Macht der Abstraktion -<wbr></wbr> Anfänger</a></td></tr></table><div class="tocviewsublistbottom" 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="Signaturen.html" class="tocviewlink" 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></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.7", "../");" 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.7");">top</a></span><span class="navright"> <a href="index.html" title="backward to "Sprachebenen und Material zu Die Macht der Abstraktion"" data-pltdoc="x">← prev</a> <a href="index.html" title="up to "Sprachebenen und Material zu Die Macht der Abstraktion"" data-pltdoc="x">up</a> <a href="Definitionen.html" title="forward to "1.1 Definitionen"" data-pltdoc="x">next →</a></span> </div><h3 x-source-module="(lib "deinprogramm/scribblings/deinprogramm.scrbl")" x-source-pkg="deinprogramm" x-part-tag=""DMdA-beginner"">1<tt> </tt><a name="(part._.D.Md.A-beginner)"></a>Die Macht der Abstraktion - Anfänger</h3><p>This is documentation for the language level <span style="font-style: italic">Die Macht der
Abstraktion - Anfänger</span> to go with the German textbook <span style="font-style: italic">Die
Macht der Abstraktion</span>.</p><p><table cellspacing="0" cellpadding="0"><tr><td align="right" valign="baseline"><span class="hspace"> </span><span class="RktVar">program</span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">=</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVar">def-or-expr</span><span class="hspace"> </span><span class="RktSym">...</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td></tr><tr><td align="right" valign="baseline"><span class="hspace"> </span><span class="RktVar">def-or-expr</span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">=</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVar">definition</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVar">expr</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVar">test-case</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td></tr><tr><td align="right" valign="baseline"><span class="hspace"> </span><span class="RktVar">definition</span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">=</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Definitionen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._define%29%29" class="RktStxLink" data-pltdoc="x">define</a></span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Record-Typ-Definitionen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._define-record-procedures%29%29" class="RktStxLink" data-pltdoc="x">define-record-procedures</a></span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Parametrische_Record-Typ-Definitionen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._define-record-procedures-parametric%29%29" class="RktStxLink" data-pltdoc="x">define-record-procedures-parametric</a></span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._~3a%29%29" class="RktStxLink" data-pltdoc="x">:</a></span><span class="stt"> </span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">sig</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td></tr><tr><td align="right" valign="baseline"><span class="hspace"> </span><span class="RktVar">expr</span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">=</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktCmt">;</span><span class="RktCmt"> </span><span class="RktCmt"><a href="application.html" data-pltdoc="x">Prozedurapplikation</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVal">#t</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVal">#f</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._number%29%29" class="RktStxLink" data-pltdoc="x">number</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._string%29%29" class="RktStxLink" data-pltdoc="x">string</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="lambda.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._lambda%29%29" class="RktStxLink" data-pltdoc="x">lambda</a></span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVar">id</span><span class="stt"> </span><span class="RktCmt">;</span><span class="RktCmt"> </span><span class="RktCmt"><a href="id.html" data-pltdoc="x">Bezeichner</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="cond.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._cond%29%29" class="RktStxLink" data-pltdoc="x">cond</a></span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="cond.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._cond%29%29" class="RktStxLink" data-pltdoc="x">cond</a></span><span class="stt"> </span><span class="RktPn">(</span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym">...</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym"><a href="cond.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._else%29%29" class="RktStxLink" data-pltdoc="x">else</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="if.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._if%29%29" class="RktStxLink" data-pltdoc="x">if</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="and.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._and%29%29" class="RktStxLink" data-pltdoc="x">and</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="or.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._or%29%29" class="RktStxLink" data-pltdoc="x">or</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym">let</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym">letrec</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym">let*</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym">begin</span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._signature%29%29" class="RktStxLink" data-pltdoc="x">signature</a></span><span class="stt"> </span><span class="RktVar">sig</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Eigenschaften.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._for-all%29%29" class="RktStxLink" data-pltdoc="x">for-all</a></span><span class="stt"> </span><span class="RktPn">(</span><span class="RktPn">(</span><span class="RktVar">id</span><span class="stt"> </span><span class="RktVar">sig</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Eigenschaften.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._~3d~3d~3e%29%29" class="RktStxLink" data-pltdoc="x">==></a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td></tr><tr><td align="right" valign="baseline"><span class="hspace"> </span><span class="RktVar">sig</span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">=</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktVar">id</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._predicate%29%29" class="RktStxLink" data-pltdoc="x">predicate</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._one-of%29%29" class="RktStxLink" data-pltdoc="x">one-of</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._mixed%29%29" class="RktStxLink" data-pltdoc="x">mixed</a></span><span class="stt"> </span><span class="RktVar">sig</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktVar">sig</span><span class="stt"> </span><span class="RktSym">...</span><span class="stt"> </span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._-~3e%29%29" class="RktStxLink" data-pltdoc="x"><span class="nobreak">-></span></a></span><span class="stt"> </span><span class="RktVar">sig</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktCmt">;</span><span class="RktCmt"> </span><span class="RktCmt"><a href="Signaturen.html#%28part._proc-signature%29" data-pltdoc="x">Prozedur-Signatur</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="vanilla-prim-op.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._list%29%29" class="RktValLink" data-pltdoc="x">list</a></span><span class="stt"> </span><span class="RktVar">sig</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktSym">%a</span><span class="stt"> </span><span class="RktSym">%b</span><span class="stt"> </span><span class="RktSym">%c</span><span class="stt"> </span><span class="RktCmt">;</span><span class="RktCmt"> </span><span class="RktCmt"><a href="Signaturen.html#%28part._signature-variable%29" data-pltdoc="x">Signatur-Variable</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._combined%29%29" class="RktStxLink" data-pltdoc="x">combined</a></span><span class="stt"> </span><span class="RktVar">sig</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktSym"><a href="Signaturen.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._signature%29%29" class="RktStxLink" data-pltdoc="x">signature</a></span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td></tr><tr><td align="right" valign="baseline"><span class="hspace"> </span><span class="RktVar">test-case</span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">=</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Testf_lle.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._check-expect%29%29" class="RktStxLink" data-pltdoc="x">check-expect</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Testf_lle.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._check-within%29%29" class="RktStxLink" data-pltdoc="x">check-within</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Testf_lle.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._check-member-of%29%29" class="RktStxLink" data-pltdoc="x">check-member-of</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktSym">...</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Testf_lle.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._check-range%29%29" class="RktStxLink" data-pltdoc="x">check-range</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Testf_lle.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._check-error%29%29" class="RktStxLink" data-pltdoc="x">check-error</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr><tr><td align="right" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="center" valign="baseline">|</td><td align="left" valign="baseline"><span class="stt"> </span></td><td align="left" valign="baseline"><span class="RktPn">(</span><span class="RktSym"><a href="Testf_lle.html#%28form._%28%28lib._deinprogramm%2F.D.Md.A..rkt%29._check-property%29%29" class="RktStxLink" data-pltdoc="x">check-property</a></span><span class="stt"> </span><span class="RktVar">expr</span><span class="RktPn">)</span></td></tr></table></p><p><div class="SIntrapara">Ein <span class="RktVar">id</span> ist eine Folge von Zeichen, die weder Leerzeichen
noch eins der folgenden Zeichen enthält:</div><div class="SIntrapara"><span class="hspace"> </span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">"</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">,</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">'</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">`</span><span class="hspace"></span></span>
<span class="RktInBG"><span class="hspace"></span><span class="RktIn">(</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">)</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">[</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">]</span><span class="hspace"></span></span>
<span class="RktInBG"><span class="hspace"></span><span class="RktIn">{</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">}</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">|</span><span class="hspace"></span></span> <span class="RktInBG"><span class="hspace"></span><span class="RktIn">;</span><span class="hspace"></span></span>
<span class="RktInBG"><span class="hspace"></span><span class="RktIn">#</span><span class="hspace"></span></span></div><div class="SIntrapara">Ein <span class="RktVar">number</span> ist eine Zahl wie z.B. <span class="RktVal">123</span>, <span class="RktVal">3/2</span> oder
<span class="RktVal">5.5</span>.</div><div class="SIntrapara">Ein <span class="RktVar">string</span> ist eine Zeichenkette, und durch ein Paar von <span class="RktInBG"><span class="hspace"></span><span class="RktIn">"</span><span class="hspace"></span></span> umschlossen.
So sind z.B. <span class="RktVal">"abcdef"</span>,
<span class="RktVal">"This is a string"</span> und <span class="RktVal">"Dies ist eine Zeichenkette, die \" enthält."</span> Zeichenketten.</div></p><p><table cellspacing="0" cellpadding="0"><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Zahlen</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._%2A%29%29" class="RktValLink" data-pltdoc="x">*</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._%2B%29%29" class="RktValLink" data-pltdoc="x">+</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._-%29%29" class="RktValLink" data-pltdoc="x"><span class="nobreak">-</span></a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._%2F%29%29" class="RktValLink" data-pltdoc="x">/</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._~3c%29%29" class="RktValLink" data-pltdoc="x"><</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._~3c~3d%29%29" class="RktValLink" data-pltdoc="x"><=</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._~3d%29%29" class="RktValLink" data-pltdoc="x">=</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._~3e%29%29" class="RktValLink" data-pltdoc="x">></a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._~3e~3d%29%29" class="RktValLink" data-pltdoc="x">>=</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._abs%29%29" class="RktValLink" data-pltdoc="x">abs</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._acos%29%29" class="RktValLink" data-pltdoc="x">acos</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._angle%29%29" class="RktValLink" data-pltdoc="x">angle</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._asin%29%29" class="RktValLink" data-pltdoc="x">asin</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._atan%29%29" class="RktValLink" data-pltdoc="x">atan</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._ceiling%29%29" class="RktValLink" data-pltdoc="x">ceiling</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._complex~3f%29%29" class="RktValLink" data-pltdoc="x">complex?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._cos%29%29" class="RktValLink" data-pltdoc="x">cos</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._current-seconds%29%29" class="RktValLink" data-pltdoc="x">current-seconds</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">natural</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._denominator%29%29" class="RktValLink" data-pltdoc="x">denominator</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">rational</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">natural</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._even~3f%29%29" class="RktValLink" data-pltdoc="x">even?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._exact-~3einexact%29%29" class="RktValLink" data-pltdoc="x">exact->inexact</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._exact~3f%29%29" class="RktValLink" data-pltdoc="x">exact?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._exp%29%29" class="RktValLink" data-pltdoc="x">exp</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._expt%29%29" class="RktValLink" data-pltdoc="x">expt</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._floor%29%29" class="RktValLink" data-pltdoc="x">floor</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._gcd%29%29" class="RktValLink" data-pltdoc="x">gcd</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">natural</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._imag-part%29%29" class="RktValLink" data-pltdoc="x">imag-part</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._inexact-~3eexact%29%29" class="RktValLink" data-pltdoc="x">inexact->exact</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._inexact~3f%29%29" class="RktValLink" data-pltdoc="x">inexact?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._integer~3f%29%29" class="RktValLink" data-pltdoc="x">integer?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._lcm%29%29" class="RktValLink" data-pltdoc="x">lcm</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">natural</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._log%29%29" class="RktValLink" data-pltdoc="x">log</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._magnitude%29%29" class="RktValLink" data-pltdoc="x">magnitude</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._make-polar%29%29" class="RktValLink" data-pltdoc="x">make-polar</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._max%29%29" class="RktValLink" data-pltdoc="x">max</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._min%29%29" class="RktValLink" data-pltdoc="x">min</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._modulo%29%29" class="RktValLink" data-pltdoc="x">modulo</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._natural~3f%29%29" class="RktValLink" data-pltdoc="x">natural?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._negative~3f%29%29" class="RktValLink" data-pltdoc="x">negative?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._number-~3estring%29%29" class="RktValLink" data-pltdoc="x">number->string</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">string</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._number~3f%29%29" class="RktValLink" data-pltdoc="x">number?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._numerator%29%29" class="RktValLink" data-pltdoc="x">numerator</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">rational</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._odd~3f%29%29" class="RktValLink" data-pltdoc="x">odd?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._positive~3f%29%29" class="RktValLink" data-pltdoc="x">positive?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._quotient%29%29" class="RktValLink" data-pltdoc="x">quotient</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._random%29%29" class="RktValLink" data-pltdoc="x">random</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">natural</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">natural</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._rational~3f%29%29" class="RktValLink" data-pltdoc="x">rational?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._real-part%29%29" class="RktValLink" data-pltdoc="x">real-part</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">real</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._real~3f%29%29" class="RktValLink" data-pltdoc="x">real?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._remainder%29%29" class="RktValLink" data-pltdoc="x">remainder</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym">integer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._round%29%29" class="RktValLink" data-pltdoc="x">round</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">real</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">integer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._sin%29%29" class="RktValLink" data-pltdoc="x">sin</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._sqrt%29%29" class="RktValLink" data-pltdoc="x">sqrt</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string-~3enumber%29%29" class="RktValLink" data-pltdoc="x">string->number</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">mixed</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">false</span><span class="RktPn">)</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._tan%29%29" class="RktValLink" data-pltdoc="x">tan</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._zero~3f%29%29" class="RktValLink" data-pltdoc="x">zero?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">boolesche Werte</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._boolean~3d~3f%29%29" class="RktValLink" data-pltdoc="x">boolean=?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">boolean</span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._boolean~3f%29%29" class="RktValLink" data-pltdoc="x">boolean?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._false~3f%29%29" class="RktValLink" data-pltdoc="x">false?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._not%29%29" class="RktValLink" data-pltdoc="x">not</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">boolean</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._true~3f%29%29" class="RktValLink" data-pltdoc="x">true?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Listen</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._cons%29%29" class="RktValLink" data-pltdoc="x">cons</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">%a</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">list-of</span><span class="hspace"> </span><span class="RktSym">%a</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">list-of</span><span class="hspace"> </span><span class="RktSym">%a</span><span class="RktPn">)</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._empty%29%29" class="RktValLink" data-pltdoc="x">empty</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktSym">list</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._empty~3f%29%29" class="RktValLink" data-pltdoc="x">empty?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Computer</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._computer%29%29" class="RktValLink" data-pltdoc="x">computer</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktSym">signature</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._computer-hard-drive%29%29" class="RktValLink" data-pltdoc="x">computer-hard-drive</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">computer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">rational</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._computer-processor%29%29" class="RktValLink" data-pltdoc="x">computer-processor</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">computer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">string</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._computer-ram%29%29" class="RktValLink" data-pltdoc="x">computer-ram</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">computer</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">rational</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._computer~3f%29%29" class="RktValLink" data-pltdoc="x">computer?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._make-computer%29%29" class="RktValLink" data-pltdoc="x">make-computer</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">rational</span><span class="hspace"> </span><span class="RktSym">rational</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">computer</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Schokokekse</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._chocolate-cookie%29%29" class="RktValLink" data-pltdoc="x">chocolate-cookie</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktSym">signature</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._chocolate-cookie-chocolate%29%29" class="RktValLink" data-pltdoc="x">chocolate-cookie-chocolate</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">chocolate-cookie</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._chocolate-cookie-cookie%29%29" class="RktValLink" data-pltdoc="x">chocolate-cookie-cookie</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">chocolate-cookie</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">number</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._chocolate-cookie~3f%29%29" class="RktValLink" data-pltdoc="x">chocolate-cookie?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._make-chocolate-cookie%29%29" class="RktValLink" data-pltdoc="x">make-chocolate-cookie</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym">number</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">chocolate-cookie</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Zeichenketten</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string-~3estrings-list%29%29" class="RktValLink" data-pltdoc="x">string->strings-list</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">list</span><span class="hspace"> </span><span class="RktSym">string</span><span class="RktPn">)</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string-append%29%29" class="RktValLink" data-pltdoc="x">string-append</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">string</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string-length%29%29" class="RktValLink" data-pltdoc="x">string-length</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">natural</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string~3c~3d~3f%29%29" class="RktValLink" data-pltdoc="x">string<=?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string~3c~3f%29%29" class="RktValLink" data-pltdoc="x">string<?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string~3d~3f%29%29" class="RktValLink" data-pltdoc="x">string=?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string~3e~3d~3f%29%29" class="RktValLink" data-pltdoc="x">string>=?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string~3e~3f%29%29" class="RktValLink" data-pltdoc="x">string>?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym">...</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._string~3f%29%29" class="RktValLink" data-pltdoc="x">string?</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">any</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">boolean</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._strings-list-~3estring%29%29" class="RktValLink" data-pltdoc="x">strings-list->string</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktPn">(</span><span class="RktSym">list</span><span class="hspace"> </span><span class="RktSym">string</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">string</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Symbole</span></p></td></tr><tr><td><p><span class="hspace"> </span><span style="font-weight: bold">Verschiedenes</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._read%29%29" class="RktValLink" data-pltdoc="x">read</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">any</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._violation%29%29" class="RktValLink" data-pltdoc="x">violation</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">unspecific</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._write-newline%29%29" class="RktValLink" data-pltdoc="x">write-newline</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">unspecific</span><span class="RktPn">)</span></p></td></tr><tr><td><p><span class="hspace"> </span><span class="RktSym"><a href="beginner-prim-ops.html#%28def._%28%28lib._deinprogramm%2F.D.Md.A-beginner..rkt%29._write-string%29%29" class="RktValLink" data-pltdoc="x">write-string</a></span><span class="hspace"> </span>:<span class="hspace"> </span> <span class="RktPn">(</span><span class="RktSym">string</span><span class="hspace"> </span><span class="RktSym"><span class="nobreak">-></span></span><span class="hspace"> </span><span class="RktSym">unspecific</span><span class="RktPn">)</span></p></td></tr></table></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.7", "../");" 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.7");">top</a></span><span class="navright"> <a href="index.html" title="backward to "Sprachebenen und Material zu Die Macht der Abstraktion"" data-pltdoc="x">← prev</a> <a href="index.html" title="up to "Sprachebenen und Material zu Die Macht der Abstraktion"" data-pltdoc="x">up</a> <a href="Definitionen.html" title="forward to "1.1 Definitionen"" data-pltdoc="x">next →</a></span> </div></div></div><div id="contextindicator"> </div></body></html>
|