This repository has been archived by the owner on Apr 29, 2018. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
21 lines (21 loc) · 106 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
<!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"/><meta name="viewport" content="width=device-width, initial-scale=0.8"/><title>語</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"/><script type="text/javascript" src="scribble-common.js"></script><script type="text/javascript" src="manual-racket.js"></script><!--[if IE 6]><style type="text/css">.SIEHidden { overflow: hidden; }</style><![endif]--></head><body id="scribble-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="" class="tocviewselflink" data-pltdoc="x">語</a></td></tr></table></div><div class="tocviewsublistonly" style="display: none;" id="tocview_0"><table cellspacing="0" cellpadding="0"><tr><td align="right">1 </td><td><a href="#%28part._~e7~89~a9%29" class="tocviewlink" data-pltdoc="x">物</a></td></tr><tr><td align="right">2 </td><td><a href="#%28part._~e9~a0~82~e5~b1~a4~e7~9a~84~e7~89~a9%29" class="tocviewlink" data-pltdoc="x">頂層的物</a></td></tr><tr><td align="right">3 </td><td><a href="#%28part._~e8~aa~a4%29" class="tocviewlink" data-pltdoc="x">誤</a></td></tr><tr><td align="right">4 </td><td><a href="#%28part._~e9~a1~9e.Racket~e8~aa~9e~e6~b3~95%29" class="tocviewlink" data-pltdoc="x">類Racket語法</a></td></tr></table></div></div></div><div class="tocsub"><table class="tocsublist" cellspacing="0"><tr><td><span class="tocsublinknumber"></span><a href="#%28part._~e8~aa~9e%29" class="tocsubseclink" data-pltdoc="x">語</a></td></tr><tr><td><span class="tocsublinknumber">1<tt> </tt></span><a href="#%28part._~e7~89~a9%29" class="tocsubseclink" data-pltdoc="x">物</a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e7~ad~89~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">等？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~88~97%2F~e6~a7~8b~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>列/<span class="mywbr"> </span>構？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e5~88~97%2F~e6~a7~8b%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>列/<span class="mywbr"> </span>構</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~88~97%2F~e6~a7~8b..~e9~a6~96%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>列/<span class="mywbr"> </span>構.首</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~88~97%2F~e6~a7~8b..~e5~b0~be%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>列/<span class="mywbr"> </span>構.尾</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~88~97%2F~e7~a9~ba~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>列/<span class="mywbr"> </span>空？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~88~97%2F~e7~a9~ba%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>列/<span class="mywbr"> </span>空</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~90~8d%2F~e6~96~87~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>名/<span class="mywbr"> </span>文？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~90~8d%2F~e6~a7~8b~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>名/<span class="mywbr"> </span>構？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e5~90~8d%2F~e6~a7~8b%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>名/<span class="mywbr"> </span>構</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~90~8d%2F~e6~a7~8b..~e5~90~8d%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>名/<span class="mywbr"> </span>構.名</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~90~8d%2F~e6~a7~8b..~e5~88~97%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>名/<span class="mywbr"> </span>構.列</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e7~a9~ba~3a~e9~9b~86%2F~e5~ae~9a%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">空:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a..~e5~a2~9e%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定.增</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a..~e6~94~b9%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定.改</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a..~e5~8f~96%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定.取</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a..~e5~90~ab~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定.含？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a..~e5~88~a0%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定.删</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~9b~86%2F~e5~ae~9a~e2~86~92~3a~e5~88~97%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定→:<span class="mywbr"> </span>列</span></a></td></tr><tr><td><a href="#%28form._%28%28lib._lang%2Fmain..rkt%29._~23~25~e5~bc~8f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">#%式</span></a></td></tr><tr><td><a href="#%28form._%28%28lib._lang%2Fmain..rkt%29._~23~25~e9~a0~82%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">#%頂</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a9~9f~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>機？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e6~a9~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>機</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a9~9f..~e7~94~a8%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>機.用</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a9~9f..~e5~bd~a2%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>機.形</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a9~9f..~e7~89~a9%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>機.物</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e5~88~97%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>列</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~90~8d~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>名？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e9~99~b0%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">陰</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e9~99~bd%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">陽</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e9~99~b0~e9~99~bd..~e8~8b~a5%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>陰陽.若</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e5~bc~8f~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>式？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e5~bc~8f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>式</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e5~bc~8f-1%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>式-<wbr></wbr>1</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e5~bc~95%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">引</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e8~aa~a4~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>誤？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e8~aa~a4%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>誤</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e2~86~92~3a~e8~aa~a4-1%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">→:<span class="mywbr"> </span>誤-<wbr></wbr>1</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e7~ae~97%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">算</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e9~a0~82~3a~e9~9b~86%2F~e5~ae~9a%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">頂:<span class="mywbr"> </span>集/<span class="mywbr"> </span>定</span></a></td></tr><tr><td><a href="#%28form._%28%28lib._lang%2Fmain..rkt%29._~e5~ae~9a%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">定</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a7~8b~ef~bc~9f%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>構？</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._-~3e~3a~e6~a7~8b%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym"><span class="nobreak">-<wbr></wbr>></span>:<span class="mywbr"> </span>構</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a7~8b..~3a~e5~90~8d%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>構.:<span class="mywbr"> </span>名</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~3a~e6~a7~8b..~3a~e5~88~97%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">:<span class="mywbr"> </span>構.:<span class="mywbr"> </span>列</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e5~8f~96%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">取</span></a></td></tr><tr><td><a href="#%28def._%28%28lib._lang%2Fmain..rkt%29._~e6~88~96%29%29" class="tocsubnonseclink" data-pltdoc="x"><span class="RktSym">或</span></a></td></tr><tr><td><span class="tocsublinknumber">2<tt> </tt></span><a href="#%28part._~e9~a0~82~e5~b1~a4~e7~9a~84~e7~89~a9%29" class="tocsubseclink" data-pltdoc="x">頂層的物</a></td></tr><tr><td><span class="tocsublinknumber">2.1<tt> </tt></span><a href="#%28part._~e6~a9~9f%29" class="tocsubseclink" data-pltdoc="x">機</a></td></tr><tr><td><span class="tocsublinknumber">2.2<tt> </tt></span><a href="#%28part._~e5~bc~8f%29" class="tocsubseclink" data-pltdoc="x">式</a></td></tr><tr><td><span class="tocsublinknumber">3<tt> </tt></span><a href="#%28part._~e8~aa~a4%29" class="tocsubseclink" data-pltdoc="x">誤</a></td></tr><tr><td><span class="tocsublinknumber">3.1<tt> </tt></span><a href="#%28part._~e5~81~9c~e6~a9~9f%29" class="tocsubseclink" data-pltdoc="x">停機</a></td></tr><tr><td><span class="tocsublinknumber">3.2<tt> </tt></span><a href="#%28part._~e5~85~a7~e7~bd~ae%29" class="tocsubseclink" data-pltdoc="x">內置</a></td></tr><tr><td><span class="tocsublinknumber">3.2.1<tt> </tt></span><a href="#%28part._~e6~a9~9f%29" class="tocsubseclink" data-pltdoc="x">機</a></td></tr><tr><td><span class="tocsublinknumber">3.2.2<tt> </tt></span><a href="#%28part._~e5~bc~8f%29" class="tocsubseclink" data-pltdoc="x">式</a></td></tr><tr><td><span class="tocsublinknumber">3.2.3<tt> </tt></span><a href="#%28part._~e6~9c~aa~e5~ae~9a~e7~be~a9%29" class="tocsubseclink" data-pltdoc="x">未定義</a></td></tr><tr><td><span class="tocsublinknumber">4<tt> </tt></span><a href="#%28part._~e9~a1~9e.Racket~e8~aa~9e~e6~b3~95%29" class="tocsubseclink" data-pltdoc="x">類Racket語法</a></td></tr></table></div></div><div class="maincolumn"><div class="main"><div class="versionbox"><span class="versionNoNav">6.12</span></div><h2><a name="(part._~e8~aa~9e)"></a><a name="(mod-path._lang)"></a>語</h2><div class="SAuthorListBox"><span class="SAuthorList"><p class="author">zaoqi</p></span></div><p><table cellspacing="0" cellpadding="0" class="defmodule"><tr><td align="left"><span class="hspace"> </span><font class="badlink"><span class="RktModLink"><span class="RktMod">#lang</span></span></font><span class="hspace"> </span><a href="" class="RktModLink" data-pltdoc="x"><span class="RktSym">lang</span></a></td><td align="right"><span class="RpackageSpec"><span class="Smaller"> package:</span> <a href="https://pkgs.racket-lang.org/package/lang" title="Install this package using `raco pkg install lang`"><span class="stt">lang</span></a></span></td></tr></table></p><p>WIP:有錯誤</p><h3>1<tt> </tt><a name="(part._~e7~89~a9)"></a>物</h3><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e7~ad~89~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">等？</span></span></span><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span><span class="RktVar">乙</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">乙</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara">返回<span class="RktVar">甲</span>是否等於<span class="RktVar">乙</span>。</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~88~97/~e6~a7~8b~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:列/構？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara">返回<span class="RktVar">物</span>是否是<span class="RktPn">(</span><span class="RktSym">→:列/構</span><span class="stt"> </span><span class="RktSym">首</span><span class="stt"> </span><span class="RktSym">尾</span><span class="RktPn">)</span>。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e5~88~97/~e6~a7~8b))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:列/構</span></span></span><span class="hspace"> </span><span class="RktVar">首</span><span class="hspace"> </span><span class="RktVar">尾</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">首尾？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">首</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">尾</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:列？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~88~97/~e6~a7~8b..~e9~a6~96))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:列/構.首</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:列/構？</span></td></tr></table></blockquote></div><div class="SIntrapara">若<span class="RktVar">物</span>是<span class="RktPn">(</span><span class="RktSym">→:列/構</span><span class="stt"> </span><span class="RktSym">首</span><span class="stt"> </span><span class="RktSym">尾</span><span class="RktPn">)</span>，返回<span class="RktSym">首</span>。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~88~97/~e6~a7~8b..~e5~b0~be))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:列/構.尾</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:列/構？</span></td></tr></table></blockquote></div><div class="SIntrapara">若<span class="RktVar">物</span>是<span class="RktPn">(</span><span class="RktSym">→:列/構</span><span class="stt"> </span><span class="RktSym">首</span><span class="stt"> </span><span class="RktSym">尾</span><span class="RktPn">)</span>，返回<span class="RktSym">尾</span>。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~88~97/~e7~a9~ba~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:列/空？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara">返回<span class="RktVar">物</span>是否是<span class="RktPn">(</span><span class="RktPn">)</span>。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~3a~e5~88~97/~e7~a9~ba))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:列/空</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">列/空？</span><span class="hspace"> </span>=<span class="hspace"> </span><span class="RktPn">(</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~90~8d/~e6~96~87~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:名/文？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~90~8d/~e6~a7~8b~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:名/構？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e5~90~8d/~e6~a7~8b))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:名/構</span></span></span><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span><span class="RktVar">列</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:名？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">列</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:列？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~90~8d/~e6~a7~8b..~e5~90~8d))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:名/構.名</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">名？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:名/構？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~90~8d/~e6~a7~8b..~e5~88~97))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:名/構.列</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:列？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:名/構？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~e7~a9~ba~3a~e9~9b~86/~e5~ae~9a))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">空:集/定</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a..~e5~a2~9e))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定.增</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span><span class="RktVar">甲</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:集/定？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a..~e6~94~b9))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定.改</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span><span class="RktVar">機</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:集/定？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">機</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">-></span></span></span><span class="hspace"> </span><span class="RktSym">:物？</span><span class="hspace"> </span><span class="RktSym">:物？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a..~e5~8f~96))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定.取</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">名</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a..~e5~90~ab~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定.含？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">名</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a..~e5~88~a0))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定.删</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">名</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">映？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara">必須有，才能刪。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~9b~86/~e5~ae~9a~e2~86~92~3a~e5~88~97))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:集/定→:列</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">listof</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">cons/c</span></span></span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">any/c</span></span></span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">any/c</span></span></span><span class="RktPn">)</span><span class="RktPn">)</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr></table></blockquote></div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._lang/main..rkt)._~23~25~e5~bc~8f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">#%式</span></span></span><span class="hspace"> </span><span class="RktVar">式</span><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span><span class="RktMeta">...</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">使用一個<span class="RktSym">引機？</span>（<span class="RktVar">式</span>）。可以寫作<span class="RktPn">{</span><span class="RktVar">式</span><span class="stt"> </span><span class="RktVar">甲</span><span class="stt"> </span><span class="RktMeta"><span class="badlink"><span class="RktValLink">...</span></span></span><span class="RktPn">}</span>。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(form._((lib._lang/main..rkt)._~23~25~e9~a0~82))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">#%頂</span></span></span><span class="hspace"> </span><span class="RktVar">名</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara">頂層的物。</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a9~9f~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:機？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e6~a9~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:機</span></span></span><span class="hspace"> </span><span class="RktVar">形</span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:機？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">形</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a9~9f..~e7~94~a8))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:機.用</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">形</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:機？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">形</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara">用<span class="RktVar">形</span>應用<span class="RktVar">物</span>。
<span class="RktPn">(</span><span class="RktSym">算</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">:機.物</span><span class="stt"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-境</span></span><span class="RktPn">)</span>。
<span class="RktSym"><span class="nobreak">-境</span></span>只包含用<span class="RktPn">(</span><span class="RktSym">:機.形</span><span class="stt"> </span><span class="RktVar">物</span><span class="RktPn">)</span>和<span class="RktVar">形</span>得到的。</div></p><p><div class="SIntrapara">如果<span class="RktVar">形</span>和<span class="RktVar">物</span>不能匹配，這個<span class="RktSym">誤？</span>是<span class="RktVar">形</span>產生的。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a9~9f..~e5~bd~a2))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:機.形</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:機？</span></td></tr></table></blockquote></div><div class="SIntrapara">類似Scheme。如果有不是<span class="RktSym">名？</span>的，也加入到<span class="RktSym">集/定</span>。後面的可以覆蓋前面的。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a9~9f..~e7~89~a9))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:機.物</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">未算？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:機？</span></td></tr></table></blockquote></div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e5~88~97))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:列</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:機？</span><span class="hspace"> </span>=<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">→:機</span><span class="hspace"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">:列</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">'</span><span class="RktVal">:列</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~3a~e5~90~8d~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:名？</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:機？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span>=<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">→:機</span><span class="hspace"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">:物</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="hspace"> </span><span class="RktVal">:陰陽.若</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">(</span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="hspace"> </span><span class="RktVal">:名/構？</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">:物</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">#t</span><span class="hspace"> </span><span class="RktVal">(</span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="hspace"> </span><span class="RktVal">:名/文？</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">:物</span><span class="RktVal">)</span><span class="RktVal">)</span><span class="RktPn">)</span></td></tr></table></blockquote></div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~e9~99~b0))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">陰</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~e9~99~bd))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">陽</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e9~99~b0~e9~99~bd..~e8~8b~a5))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:陰陽.若</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span><span class="RktVar">乙</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">陰-陽？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">乙</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara">若<span class="RktSym">陰陽</span>是<span class="RktSym">陽</span>，則返回<span class="RktVar">乙</span>，否則返回<span class="RktSym">丙</span>。</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e5~bc~8f~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:式？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e5~bc~8f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:式</span></span></span><span class="hspace"> </span><span class="RktVar">機</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:式？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">機</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">-></span></span></span><span class="hspace"> </span><span class="RktSym">:集/定？</span><span class="hspace"> </span><span class="RktSym">:物？</span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">...</span></span></span><span class="hspace"> </span><span class="RktSym">:物？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。
first-class的宏和特殊形式。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e5~bc~8f-1))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:式-1</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">-></span></span></span><span class="hspace"> </span><span class="RktSym">:集/定？</span><span class="hspace"> </span><span class="RktSym">:物？</span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">...</span></span></span><span class="hspace"> </span><span class="RktSym">:物？</span><span class="RktPn">)</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:式？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。</div></p><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~e5~bc~95))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">引</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">引機？</span><span class="hspace"> </span>=<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">→:式</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">→:機</span><span class="hspace"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">:集/定</span><span class="hspace"> </span><span class="RktVal">:物</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">'</span><span class="RktVal">:物</span><span class="RktPn">)</span><span class="RktPn">)</span></p></blockquote></td></tr></table></blockquote><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e8~aa~a4~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:誤？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e8~aa~a4))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:誤</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:誤？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e2~86~92~3a~e8~aa~a4-1))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">→:誤-1</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:誤？</span></td></tr></table></blockquote></div></p><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e7~ae~97))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">算</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span><span class="RktVar">集/定</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">集/定</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></td></tr></table></blockquote><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>value</p></div></div><p class="RForeground"><a name="(def._((lib._lang/main..rkt)._~e9~a0~82~3a~e9~9b~86/~e5~ae~9a))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">頂:集/定</span></span></span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:集/定？</span></p></blockquote></td></tr></table></blockquote><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>syntax</p></div></div><p class="RForeground"><span class="RktPn">{</span><a name="(form._((lib._lang/main..rkt)._~e5~ae~9a))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">定</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktPn">[</span><span class="RktVar">名</span><span class="hspace"> </span><span class="RktVar">之物</span><span class="RktPn">]</span><span class="hspace"> </span><span class="RktMeta">...</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">}</span></p></blockquote></td></tr></table></blockquote></div><div class="SIntrapara"><span class="RktSym"><span class="badlink"><span class="RktValLink">letrec</span></span></span>。<span class="RktPn">(</span><span class="RktPn">[</span><span class="RktVar">名</span><span class="stt"> </span><span class="RktVar">之物</span><span class="RktPn">]</span><span class="stt"> </span><span class="RktMeta"><span class="badlink"><span class="RktValLink">...</span></span></span><span class="RktPn">)</span>的名稱是</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a7~8b~ef~bc~9f))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:構？</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:陰-陽？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">非</span><span class="hspace"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._-~3e~3a~e6~a7~8b))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym"><span class="nobreak">-></span>:構</span></span></span><span class="hspace"> </span><span class="RktVar">:名</span><span class="hspace"> </span><span class="RktVar">:列</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:構？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">:名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:名？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">:列</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:列？</span></td></tr></table></blockquote></div><div class="SIntrapara">沒有強制類型限制。
</div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a7~8b..~3a~e5~90~8d))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:構.:名</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:構？</span></td></tr></table></blockquote></div><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~3a~e6~a7~8b..~3a~e5~88~97))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">:構.:列</span></span></span><span class="hspace"> </span><span class="RktVar">物</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">物</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:構？</span></td></tr></table></blockquote></div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e5~8f~96))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">取</span></span></span><span class="hspace"> </span><span class="RktVar">名</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">物</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">名</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">名？</span></td></tr></table></blockquote></div><div class="SIntrapara">獲取一個包</div></p><p><div class="SIntrapara"><blockquote class="SVInsetFlow"><table cellspacing="0" cellpadding="0" class="boxed RBoxed"><tr><td><blockquote class="SubFlow"><div class="RBackgroundLabel SIEHidden"><div class="RBackgroundLabelInner"><p>procedure</p></div></div><p class="RForeground"><span class="RktPn">(</span><a name="(def._((lib._lang/main..rkt)._~e6~88~96))"></a><span title="Provided from: lang | Package: lang"><span class="RktSym"><span class="RktSymDef RktSym">或</span></span></span><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span><span class="RktVar">乙</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">:物？</span></p></blockquote></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">甲</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr><tr><td><span class="hspace"> </span><span class="RktVar">乙</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym">:物？</span></td></tr></table></blockquote></div><div class="SIntrapara">一般是<span class="RktVar">甲</span>，可以是<span class="RktVar">乙</span>。</div></p><h3>2<tt> </tt><a name="(part._~e9~a0~82~e5~b1~a4~e7~9a~84~e7~89~a9)"></a>頂層的物</h3><h4>2.1<tt> </tt><a name="(part._~e6~a9~9f)"></a>機</h4><p>看起來是<span class="RktPn">(</span><span class="RktSym">機</span><span class="stt"> </span><span class="RktVal">'</span><span class="RktVal"><形></span><span class="stt"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="stt"> </span><span class="RktVal"><名></span><span class="RktVal">)</span><span class="stt"> </span><span class="RktVal">. </span><span class="RktVal"><形></span><span class="RktVal">)</span><span class="RktPn">)</span>。</p><h4>2.2<tt> </tt><a name="(part._~e5~bc~8f)"></a>式</h4><p>看起來是<span class="RktPn">(</span><span class="RktSym">式</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">機</span><span class="stt"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">集/定</span><span class="stt"> </span><span class="RktVal">. </span><span class="RktVal"><形></span><span class="RktVal">)</span><span class="stt"> </span><span class="RktVal">'</span><span class="RktVal">(</span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="stt"> </span><span class="RktVal">算</span><span class="RktVal">)</span><span class="stt"> </span><span class="RktVal">(</span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="stt"> </span><span class="RktVal">列</span><span class="RktVal">)</span><span class="stt"> </span><span class="RktVal">'</span><span class="RktVal">#%式</span><span class="stt"> </span><span class="RktVal">(</span><span class="RktVal">#%頂</span><span class="stt"> </span><span class="RktVal"><名></span><span class="RktVal">)</span><span class="stt"> </span><span class="RktVal">. </span><span class="RktVal"><形></span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">集/定</span><span class="RktVal">)</span><span class="RktPn">)</span><span class="RktPn">)</span>。</p><h3>3<tt> </tt><a name="(part._~e8~aa~a4)"></a>誤</h3><h4>3.1<tt> </tt><a name="(part._~e5~81~9c~e6~a9~9f)"></a>停機</h4><p>替換：在進行0或更多次替換後，可以把會停止的任意個<span class="RktSym">物？</span>替換爲<span class="RktPn">(</span><span class="RktSym">→:誤</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">構</span><span class="stt"> </span><span class="RktPn">{</span><span class="RktSym">引</span><span class="stt"> </span><span class="RktSym">誤/界/停</span><span class="RktPn">}</span><span class="stt"> </span><span class="RktSym"><未定義></span><span class="RktPn">)</span><span class="RktPn">)</span>，<span class="RktSym"><未定義></span>是任意的一個<span class="RktSym">物？</span>。</p><p>實現應該識別出儘量多的停止。</p><p>實現應該儘量避免替換。</p><h4>3.2<tt> </tt><a name="(part._~e5~85~a7~e7~bd~ae)"></a>內置</h4><p><span class="RktVal">"沒有強制類型限制。"</span>在一些構建數據的<span class="RktSym">機？</span>中出現，表示特定的某些參數或返回值的類型可以是任何<span class="RktSym">物？</span>。</p><p><span class="RktPn">(</span><span class="RktSym">非</span><span class="stt"> </span><span class="RktSym">:誤？</span><span class="RktPn">)</span>表示不能是一個<span class="RktSym">誤？</span>，否則返回值是一個<span class="RktSym">誤？</span>。</p><h5>3.2.1<tt> </tt><a name="(part._~e6~a9~9f)"></a>機</h5><p>內置的任何<span class="RktSym">機？</span>產生的<span class="RktSym">誤？</span>是<span class="RktPn">(</span><span class="RktSym">誤</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">構</span><span class="stt"> </span><span class="RktPn">{</span><span class="RktSym">引</span><span class="stt"> </span><span class="RktSym">誤/界/機</span><span class="RktPn">}</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">列</span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-名</span></span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-式</span></span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-位</span></span><span class="RktPn">)</span><span class="RktPn">)</span><span class="RktPn">)</span>，
<span class="RktSym"><span class="nobreak">-名</span></span>是它的名稱，<span class="RktSym"><span class="nobreak">-式</span></span>是它的參數，<span class="RktSym"><span class="nobreak">-位</span></span>是產生一個<span class="RktSym">誤？</span>的參數的名稱。</p><h5>3.2.2<tt> </tt><a name="(part._~e5~bc~8f)"></a>式</h5><p>內置的任何<span class="RktSym">式？</span>產生的<span class="RktSym">誤？</span>是<span class="RktPn">(</span><span class="RktSym">誤</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">構</span><span class="stt"> </span><span class="RktPn">{</span><span class="RktSym">引</span><span class="stt"> </span><span class="RktSym">誤/界/式</span><span class="RktPn">}</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">列</span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-名</span></span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-集</span>/定</span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-式</span></span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-位</span></span><span class="RktPn">)</span><span class="RktPn">)</span><span class="RktPn">)</span>，
<span class="RktSym"><span class="nobreak">-名</span></span>是它的名稱（一個<span class="RktSym">名？</span>），<span class="RktSym"><span class="nobreak">-集</span>/定</span>是環境，<span class="RktSym"><span class="nobreak">-式</span></span>是它的參數，<span class="RktSym"><span class="nobreak">-位</span></span>是參數的名稱。</p><h5>3.2.3<tt> </tt><a name="(part._~e6~9c~aa~e5~ae~9a~e7~be~a9)"></a>未定義</h5><p><span class="RktSym">算</span>和<span class="RktSym">#%頂</span>未定義時產生的<span class="RktSym">:誤？</span>是<span class="RktPn">(</span><span class="RktSym">→:誤</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">構</span><span class="stt"> </span><span class="RktPn">{</span><span class="RktSym">引</span><span class="stt"> </span><span class="RktSym">誤/界/名</span><span class="RktPn">}</span><span class="stt"> </span><span class="RktPn">(</span><span class="RktSym">列</span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-名</span></span><span class="stt"> </span><span class="RktSym"><span class="nobreak">-集</span>/定</span><span class="RktPn">)</span><span class="RktPn">)</span><span class="RktPn">)</span>，<span class="RktSym"><span class="nobreak">-名</span></span>是那個<span class="RktSym">名？</span>，<span class="RktSym"><span class="nobreak">-集</span>/定</span>是環境。</p><h3>4<tt> </tt><a name="(part._~e9~a1~9e.Racket~e8~aa~9e~e6~b3~95)"></a>類Racket語法</h3><p>每個vector和symbol會被轉換爲一個<span class="RktSym">:名？</span>。</p><blockquote class="SCodeFlow"><table cellspacing="0" cellpadding="0" class="RktBlk"><tr><td><span class="RktPn">{</span><span class="RktSym"><span class="badlink"><span class="RktValLink">define</span></span></span><span class="hspace"> </span><span class="RktSym">L->V</span></td></tr><tr><td><span class="RktPn">{</span><span class="RktSym"><span class="badlink"><span class="RktValLink">match-lambda</span></span></span></td></tr><tr><td><span class="hspace"> </span><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktVal">#\！</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktVal">式</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="hspace"> </span><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktVal">#\#</span><span class="hspace"> </span><span class="RktVal">#\%</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">式</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="hspace"> </span><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktVal">#\-</span><span class="hspace"> </span><span class="RktVal">#\1</span><span class="RktPn">)</span></td></tr><tr><td><span class="hspace"> </span><span class="RktPn">{</span><span class="RktSym"><span class="badlink"><span class="RktValLink">match</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="RktPn">)</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">t</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">t</span><span class="hspace"> </span><span class="RktVal">反</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">t</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">n</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">t</span><span class="hspace"> </span><span class="RktVal">(</span><span class="RktVal">反</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">n</span><span class="RktVal">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">?</span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">symbol?</span></span></span><span class="hspace"> </span><span class="RktSym">s</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">反</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">s</span><span class="RktVal">)</span><span class="RktPn">]</span><span class="RktPn">}</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktVal">#\→</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktVal">#\→</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">子</span><span class="hspace"> </span><span class="RktVal">化</span><span class="hspace"> </span><span class="RktVal">至</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktVal">#\→</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">cs1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktVal">#\→</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktVal">#\→</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">cs2</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">化</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs2</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktVal">#\？</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">子</span><span class="hspace"> </span><span class="RktVal">化</span><span class="hspace"> </span><span class="RktVal">乎</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">cs</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktVal">#\.</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">t</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktVal">#\.</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktVal">#\.</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">n</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">子</span><span class="hspace"> </span><span class="RktVal">化</span><span class="hspace"> </span><span class="RktVal">對</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">t</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">n</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktVal">#\:</span><span class="hspace"> </span><span class="RktSym">t</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">t</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktSym">x</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktVal">#\:</span><span class="hspace"> </span><span class="RktSym">t</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">一</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">t</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">x</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktSym">a</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">or</span></span></span><span class="hspace"> </span><span class="RktVal">#\/</span><span class="hspace"> </span><span class="RktVal">#\\</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">or</span></span></span><span class="hspace"> </span><span class="RktVal">#\/</span><span class="hspace"> </span><span class="RktVal">#\\</span><span class="RktPn">)</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">b</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">子</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">a</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">b</span><span class="RktPn">)</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktVal">#\-</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">h</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="hspace"> </span><span class="RktVal">#\-</span><span class="hspace"> </span><span class="RktSym">t</span><span class="hspace"> </span><span class="RktSym">..1</span><span class="RktPn">)</span></td></tr><tr><td><span class="hspace"> </span><span class="RktPn">{</span><span class="RktSym"><span class="badlink"><span class="RktValLink">match</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">t</span><span class="RktPn">)</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">列</span><span class="hspace"> </span><span class="RktRdr">,@</span><span class="RktSym">xs</span><span class="RktVal">)</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">列</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">h</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktRdr">,@</span><span class="RktSym">xs</span><span class="RktVal">)</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktSym">s</span><span class="hspace"> </span><span class="RktVal">`</span><span class="RktVal">#</span><span class="RktVal">(</span><span class="RktVal">列</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktPn">(</span><span class="RktSym">L->V</span><span class="hspace"> </span><span class="RktSym">h</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktRdr">,</span><span class="RktSym">s</span><span class="RktVal">)</span><span class="RktPn">]</span><span class="RktPn">}</span><span class="RktPn">]</span></td></tr><tr><td><span class="RktPn">[</span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">and</span></span></span><span class="hspace"> </span><span class="RktSym">xs</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">not</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym">列</span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">_</span></span></span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">...</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">or</span></span></span><span class="hspace"> </span><span class="RktVal">#\？</span><span class="hspace"> </span><span class="RktVal">#\！</span><span class="hspace"> </span><span class="RktVal">#\#</span><span class="hspace"> </span><span class="RktVal">#\%</span><span class="hspace"> </span><span class="RktVal">#\-</span><span class="hspace"> </span><span class="RktVal">#\1</span><span class="hspace"> </span><span class="RktVal">#\→</span><span class="hspace"> </span><span class="RktVal">#\.</span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">or</span></span></span><span class="hspace"> </span><span class="RktVal">#\/</span><span class="hspace"> </span><span class="RktVal">#\\</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktVal">#\:</span><span class="RktPn">)</span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">_</span></span></span><span class="hspace"> </span><span class="RktSym"><span class="badlink"><span class="RktValLink">...</span></span></span><span class="RktPn">)</span><span class="RktPn">)</span><span class="RktPn">)</span></td></tr><tr><td><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">string->symbol</span></span></span><span class="hspace"> </span><span class="RktPn">(</span><span class="RktSym"><span class="badlink"><span class="RktValLink">list->string</span></span></span><span class="hspace"> </span><span class="RktSym">xs</span><span class="RktPn">)</span><span class="RktPn">)</span><span class="RktPn">]</span><span class="RktPn">}</span><span class="RktPn">}</span></td></tr></table></blockquote></div></div><div id="contextindicator"> </div></body></html>