÷
ƒ’À;è TeX output 1995.07.01:1517‹
ÿÿÿÿ gÌ\ ý¯3¤ 2Ì\ ýäܚ‘\Npó
°ìKffffcmbx14ºBey•Žïon“d›LËProtÇwot“yp8ˆe˜ImpÒÆlem“enƒŸt“aš>t“ions:Ž¤Ì͍‘fý>P•ŽïoÒÆlymorphiécc›LËPro‘â!ject“ion˜AnŸäalys•8ˆi“sŽ¡’”E.for–LËGlasgošŽïw“Hask˜ellŽŸ"Û%’¶3óò"V

cmbx10»Julian‘ÕTSew®9ardŽ©’¥îóßê<x

cmtt10Ásewardj@cs.man.ac.ukŽŸõi’–xzó%o´‹Ç		cmr9ÐDepart•¾9m“en·¤t–Tof“Compußtºîe	Þr“ScienceŽ¤’•%Viò×ctßor'xia›TUniv•¾9e	Þr”s äit“y˜of˜Manc“h“eAÇs”tºîe	ÞrŽ¡’…ëZOxford–TRoad,“Manc•¾9h“eAÇs”tºîe	Þr–TM13“9PL,“UK.ŽŸmk‘Hsçó&t‰:		cmbx9ÑA‘ÿh‰bKs’tract.ŽŽ‘xµÐBuildinßg›dúeect•¾9iv“e˜a“bNs”tract˜in·¤t•ºîeš	Þrpret“e˜r”s–dúrequireAÇs“careful“aÄÍt-Ž¡‘Hsçtºîen·¤t¾9ion–RÜtßo“bAÇotšTh“t˜hš¾9eory“an˜d“en•ßgin˜ee	Þr'xin“g–RÜi äsNsueAÇs.“Th˜e“tTh˜eory“of“a˜bNs”tractŽ¡‘Hsçin·¤tºîe	Þrpret•¾9aÄÍt“ion–®Õi äs“wš¾9ell“dØ‡ev˜elo˜p äeAÇd,“bußt“tTh˜e“en•ßgin˜ee	Þr'xin“g–®Õs äidØ‡e“h˜as“fš äallen“b˜e-Ž¡‘Hsçhin•¾9d›q…som“ewh“aÄÍt,˜an˜ušßnfort“u˜nÈaÄÍtºîe›q…ev“en·¤t˜giv“en˜tTh“aÄÍt˜a“bNs”tract˜in·¤tºîe	Þrpret“aÄÍt“ion˜i äsŽ¡‘HsçpAÇotºîen·¤tš¾9ially–©Öa“k˜ey“tºîec˜hnoå±logy“for“dØ‡eclaraÄÍt˜iv˜e“lanßguage“compilaÄÍt˜ion.“Thi äsŽ¡‘Hsçpap äe	Þr–shÈoš¾9ws“tTh˜e“tThinkinßg“b äeÕ>hin˜d“tTh˜e“dØ‡eAÇs äign“an˜d“impå±lem˜en·¤t˜aÄÍt˜ion“of“aŽ¡‘Hsçr•”s“t-ordØ‡eš	Þr,–ãÎpAÇoå±lymorphiò×c“pro‘ƒŽject¾9ion“anÈalys.e˜r“for“Haskš¾9ell,“capa˜bå±le“of“dØ‡e-Ž¡‘Hsçtºîect•¾9inßg›²h“eNad˜s”tr'xiò×ctn“eAÇsNs,˜an“d˜tTh“e	Þrefore˜suit“a“bå±le˜for˜sup“pAÇort“inßg˜all˜kno“wnŽ¡‘Hsçs”tr'xiò×ctn¾9e•AÇsNs-relašÄÍtºîe“d–ª¹transformÈa˜tš¾9ions.“Dev˜elo˜pm˜en·¤t“culminÈaÄÍtºîeAÇd“in“a“su˜cceAÇsNs-Ž¡‘Hsçful–PÓtr'xial“insš”t•¾9allaÄÍt“ion–PÓin“v¾9e	Þr˜s äion“0.19“of“tThš¾9e“Glasgo˜w“Hask˜ell“Compile	Þr,Ž¡‘Hsçan•¾9d›º¥tTh“e˜sys”tºîem˜h“as˜b äeen˜us•.eAÇd˜tßo˜anÈalys“e˜a˜ranßge˜of˜Hask¾9ell˜programs,Ž¡‘Hsçincludinßg–Tan“eNarlieš	Þr“v¾9e˜r”s äion“of“itâfs.elf,“13000“lin¾9eAÇs“lonßg.ŽŸ"»Ð‘,ó(ÂÖN cmbx12Ó1‘
€In–ftro`d• u“ct“ionŽŸx‘,óKñ`y

cmr10²Thš¸ãe–#ƒpast“d•ÕTecad“e–#ƒh˜as“s1Çeen“a“dramÃŽaÀt˜iñÆc“impro˜v˜em˜en±Çt“in“t•Uh˜e“p#e
«rformÃŽance“of“lazyŽ¦‘,fu•Ürnct¸ãionÃŽal›®Žlan“guageGs,˜not•¸ãa“bãŽly˜Hask“ell,˜as˜impãŽlem“en±ÇtÜrors˜h“a“v“e˜dÕTev“elo“p#eGd˜w“ays˜tÜroŽ¦‘,mÃŽap›Ý÷su•¸ãc“h˜lanÜrguageGs˜ecien•±Çt•Uly˜on“t•Üro˜st“oGc•¸ãk˜arc“hitµUect“ureGs.˜Nev“e
«rt•Uh“eleGsqs,˜t•Uh“ey˜st“illŽ¦‘,ruÜrn–ÅÅan“ordšÕTe
«r“of“mÃŽagnit¸ãud˜e“slo•¸ãw“e
«r›ÅÅt•Uh“an˜t•Uh“eGir˜imp#e
«raÀt“iv“e˜couÜrn±ÇtµUe
«rpartàs,˜an“d,˜w“ors1Çe,Ž¦‘,it–ÔQloGoks“likš¸ãe“t•Uh˜e“p#e
«rformÃŽance“impro˜v˜em˜en±Çtàs“are“t˜ailinÜrg“o.“F‘ÿ*ªurt•Uh˜e
«r“increqas1ÇeGs“inŽ¦‘,p•#e
«rformÃŽance›V´dÕTep“en•¸ãd˜on˜n“dinÜrg˜w“ays˜tÜro˜repãŽlace˜co“p“yinÜrg˜b“y˜upGdÜraÀtµUe-in-pãŽlace,˜an“dŽ¦‘,lazy–œ´ev‘ÿqÇaluaÀtš¸ãion“b˜y“str*«iñÆct“ev‘ÿqÇaluaÀt˜ion,“wh˜en“pGo•qs“s#ibãŽle.–œ´A‘œ¢cr*«it˜iñÆcal“elem˜en±Çt“in“t•Uhiš#s“i˜sŽ¦‘,t•Uh•¸ãe›UUs1ÇemÃŽan±Çt“i•ñÆc˜anÃŽalys1ÇeGs˜whi“c•¸ãh˜di#sõTco“v“e
«r˜wh“en˜su“c“h˜transformÃŽaÀt“ions˜are˜v‘ÿqÇalid.ŽŸ‘;
Suš¸ãcceGsqsful–PNus1Çe“of“str*«iñÆctn˜eGsqs“an˜d“sh˜ar*«inÜrg“anšÃŽalys1ÇeGs“in“compile
«rs“dÕTem˜an¸ãds“care-Ž¦‘,ful–²cons#idÕTe
«raÀtš¸ãion“of“t•Uh˜e“en•Ürgin˜ee
«r*«in“g–²constrain±Çtàs“imp•Goqs1Çe“d–²b˜y“s1ÇeparašÀtµUe“compila˜t¸ãion,Ž¦‘,an•¸ãd›Væb“y˜t•Uh“e˜limitµUeGd˜compušÜrt“in˜g›Være•Gsource“s˜a•¸ãv‘ÿqÇaila“bãŽle.˜Sect“ion‘2˜of˜t•Uhi•#s˜pap“e
«r˜exam-Ž¦‘,in•¸ãeGs›Yòsu“c“h˜constrain±Çtàs˜in˜dÕTet“ail,˜as˜a˜w“ay˜of˜gen“e
«raÀt“inÜrg˜us1Çeful˜m“etr*«i•ñÆcs˜wit•Uh˜whi“c¸ãhŽ¦‘,tÜro›ías•qs1ÇeGs“s˜pšGo“s“s#ibilit¸ãie˜s–íin“t•Uh¸ãe“dÕTe˜s#ign“space.“Bas1Çe˜d“on“tš•Uhi#s,“w¸ãe“ouÜrt˜lin¸ãe“in“Sec-Ž¦‘,t•¸ãion‘3›HÖt•Uh“e˜dÕTe•Gs#ign˜of˜a˜p“oãŽlymorphiñÆc,˜bac•¸ãkw“ards˜str*«iñÆctn“eGsqs˜anÃŽalys1Çe
«r˜for˜Hask“ell.Ž¦‘,Thš¸ãe–­‡anÃŽalys1Çe
«r“w˜as“inst˜alleGd“in“Glasgo˜w“Hask˜ell“0.19,“an˜d“shÃŽo˜ws“an“uÜrnpreceGdÕTen-Ž¦‘,tµUeGd–¹1pr*«iñÆce-p#e
«rformÃŽance“raÀtš¸ãio.“Sect˜ion‘4“preGs1Çen±Çtàs“t•Uh˜e“reGsulÜrtàs“of“t•Uhiš#s“exp˜e
«r*«imš¸ãen±Çt“an˜dŽ¦‘,concludÕTeGs.–RËAlÜrt•UhšÃŽough“our“pr*«im˜ary“conce
«rš#n“i˜s“str*«iñÆctn¸ãeGsqs“anÃŽalys˜i˜s“of“Haskš¸ãell,“t•Uh˜eGs1ÇeŽ¦‘,idÕTeqas›H=h•¸ãa“v“e˜widÕTe
«r˜ap“pãŽliñÆca“bilit“y˜tÜro˜all˜a“bqstract-in±ÇtµUe
«rpret“aÀt“ion˜bas•1ÇeGd˜anÃŽalys“eGs˜forŽŽŽŒ‹* gÌ\ ý¯3¤ 2Ì\ ýäܚ‘R²fu•Ürnct¸ãionÃŽal›âolan“guage•Gs,˜an¸ãd˜shÃŽould˜in±ÇtµUe
«re“st˜t•UhÃŽoqs1Çe˜conce
«r#n¸ãe“d˜b•¸ãy˜t•Uh“e˜s1ÇeeminÜrgly˜largeŽ¤‘Rgap›UUb#et•¸ãw“een˜t•Uh“e˜t•Uh“eory˜an“d˜pract“iñÆce˜of˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ion.Ž©w•‘a
Reqal,–)Ñusaš¸ãbãŽle“anÃŽalys1ÇeGs“die
«r“f*«rom“protÜrot˜yp#e“impãŽlem˜en±Çt˜aÀt˜ions“in“s1Çev˜e
«ral“w˜ays.Ž¡‘RTh¸ãe›N/anÃŽalys•#i“s˜h¸ãas˜t•Üro˜ru“n˜in˜reqasonÃŽa•¸ãbãŽle˜t“im“e˜an“d˜m“emory‘ÿ*ª,˜ev“en˜wh“en˜pre•Gs1Çen±ÇtµUe“d˜wit•UhŽ¡‘Ru•ÜrnreqasonÃŽa¸ãbãŽle›2oinpu“tàs;˜it˜shÃŽould˜\t"˜pro¸ãp#e
«rly˜in±Çt“o˜t•Uh•¸ãe˜exi#st“inÜrg˜compile
«r˜f*«ram“e-Ž¡‘Rw¸ãoràk,›xØvi•#s-a-vi“s˜s1Çepara•ÀtµUe˜compila“t•¸ãion,˜an“d˜it˜shÃŽould˜do˜a˜go•Go“d˜job˜for˜imp“ort¸ãan±ÇtŽ¡‘RlanÜrguage–p-feqaÀtš¸ãureGs,“part˜iñÆcularly“suÜrm-of-proGd˜u˜ctàs“t˜yp#ešGs,“p˜oãŽlymorphi#sm“anš¸ãd“high˜e
«r-Ž¡‘RordÕTe
«r–EÅfuÜrnctš¸ãions.“W‘ÿ*ªe“shÃŽort•Uly“examin˜e“t•Uh˜e“cons1ÇequenceGs“of“t•Uh˜eGs1Çe“constrain±Çtàs“in“som˜eŽ¡‘RdÕTet¸ãail.Ž¦‘a
Th¸ãe–eúmÃŽain“foGcus“of“t•Uhiš#s“pap˜e
«r“i˜s“on“global“dÕTeGs˜ign“tradÕTeos.“Bas1ÇeGd“on“t•Uh¸ãaÀtŽ¡‘Rdi•#sõTcusqs“ion,–gðwš¸ãe“ouÜrt•Ulin˜e“a“part˜iñÆcularly“eect˜iv˜e“pGoãŽlymorphiñÆc“pro‘Ž8ject˜ion“anÃŽalys1Çe
«rŽ¡‘Rfor–¢ Haskš¸ãell,“an˜d“shÃŽo˜w“som˜e“reGsulÜrtàs“f*«rom“it.“Th˜e“anÃŽalys1Çe
«r's“dšÕTeGs#ign“d˜et¸ãails“areŽ¡‘Rb•Got•Uh›àëin±ÇtµUe
«re“st•¸ãinÜrg˜an“d˜v“oãŽlu•Ürminous,˜bu“t˜not˜ap•¸ãpro“pr*«iaÀtµUe˜h“e•
«re,˜so˜refe“renceGs˜tÜro˜moreŽ¡‘Rt•UhÃŽorough›A
treqaÀt•¸ãm“en±Çtàs˜are˜giv“en˜t••UhroughÃŽouÜrt˜{˜t“h¸ãe˜r•s“t˜pGort˜of˜call˜i#s˜proba•¸ãbãŽly˜t•Uh“eŽ¡‘RaŸÿuÜrtš•UhÃŽor's–UUPhD“t˜h¸ãeGs•#i“s‘[Sew94Ž‘8ç].ŽŸ U鍑R»Arc•®9hitª"ect“ural‘Ü>Ov“eDrview‘-ȲThi•#s›9ôpap“e
«r˜dividÕTeGs˜s1Çem•ÃŽan±Çt¸ãiñÆc˜an“alys•#i“s˜systµUems˜in±ÇtÜroŽ¡‘Rt•¸ãw“o›H¢concept“ual˜partàs:˜an˜a“bqstract˜in±Çt•µUeš
«rpret“e˜r,–H¢whiñÆcš¸ãh“gen˜e
«raÀtµUeGs“recurs#iv˜e“equaÀt˜ionsŽ¡‘Ro•¸ãv“e
«r›`™som“e˜domÃŽains,˜an“d˜a˜xpGoin±ÇtµUe
«r,˜whiñÆc“h˜remo“v“eGs˜recurs#ion˜f*«rom˜t•Uh“e˜equaÀt“ions,Ž¡‘Rtš•Uh•¸ãe
«reÕTb“y–×5mÃŽakinÜrg“t˜hš¸ãem“us1Çeful“tÜro“compile
«rs.“As“usual,“w˜e“require“t•Uh˜e“domÃŽains“tÜro“b#eŽ¡‘Rof–6nitšµUe“h•¸ãeGigh“t–6tÜro“guaran±Çt˜ee“t˜e
«rminÃŽaÀtš¸ãion“of“xpGoin±Çt˜inÜrg,“an˜d“furt•Uh˜e
«r“reGstr*«iñÆct“t•Uh˜emŽ¡‘RtÜro–UUbš#e“di˜str*«ibuÜrt•¸ãiv“e›UUlaÀtŸÿt“iñÆceGs˜tÜro˜mÃŽak“e˜xpGoin±Çt“inÜrg˜eqas#ie
«r.Ž¦‘a
Sev¸ãe•
«ral›Ð$die“ren±Çt˜sõTc•¸ãh“em“e•Gs˜for˜xp“oin±Çt•¸ãinÜrg˜h“a“v“e˜b#een˜pro“p•Goqs1Çe“d.˜Th•¸ãe˜F‘ÿ*ªron±Çt“ie
«rsŽ¡‘Ralgor*«it•Uhm–b'clevš¸ãe
«rly“expãŽloitàs“monotÜroniñÆcit˜y“tÜro“build“syn±Çt˜act˜iñÆcally“uÜrnique“repreGs1Çen±Çt˜a-Ž¡‘Rt¸ãions,›©t••Uh“us˜tr*«iviali•#s“inÜrg˜t•Uh•¸ãe˜dÕTetµUect“ion˜of˜xpGoin•±Çtàs.˜In“trošGd•¸ãu“ce˜d›©b“y˜Clac“k˜an“d˜P“eytÜronŽ¡‘RJon•¸ãeGs‘[PC87Ž‘ ],›ž†t•Uh“e˜algor*«it•Uhm˜h“as˜b#een˜m•Uu“c“h˜t“uÜrn“eGd˜o“v“e
«r˜t•Uh“e˜y“eqars‘[Mar92Ž‘Z,˜HuÜrn91Ž‘o],Ž¡‘Ran•¸ãd›¾sup“pGortàs˜high“e•
«r˜ordÕTe“r˜xpGoin±Çt•¸ãinÜrg.˜A‘Žs1Çecon“d˜lin“e˜of˜enquiry˜i#s˜t•Uh“aÀt˜of˜lazyŽ¡‘RxpGoin±Çt•¸ãinÜrg,›6”wh“e
«re˜t•Uh“e˜xp•Goin±Çt˜i#s˜only˜compuÜrtµUe“d˜wh•¸ãe
«re˜n“ee•GdÕTe“d,˜on˜dÕTemÃŽan•¸ãd.˜Th“eŽ¡‘Rpreci#s1Çe–ù1or*«igins“of“lazy“xpGoin±Çtš¸ãinÜrg“are“d•ÕTe“baÀt˜a˜bãŽle,–ù1buÜrt“t˜w˜o“eqarly“preGs1Çen±Çt˜aÀt˜ionsŽ¡‘Rare–·Ådš¸ãue“tÜro“t•Uh˜e“Cousotàs‘[CC78Ž‘qÊ]“an˜d“tÜro“Jon˜eGs“an˜d“Mycroft‘[JM86Ž‘N=].“ExtµUens#ionsŽ¡‘RtÜro›ð¨high¸ãe•
«r-ordÕTe“r˜xpGoin±Çt•¸ãinÜrg˜are˜shÃŽo“wn˜b“y˜F‘ÿ*ªe
«rguson˜an“d˜Hugh“eGs‘[FH93Ž‘!],˜an“d˜b“yŽ¡‘RRošqs1Çen¸ãd•Üra“hl‘[Ro˜s93Ž‘j­].–ΆThš¸ãe“w˜oràk“of“Hankin“an˜d“Le“M˜‘ûGet˜ay˜e
«r“on“\lazy“t˜yp#eGs"‘[HM94Ž‘ª¯]Ž¡‘Ri#s–UUalso“relaÀtµUeGd.Ž¦‘a
In–8×t•Uhiš#s“pap˜e
«r“wš¸ãe“t˜ak˜e“a“t•Uhird“ap˜proac˜h:“compuÜrt˜aÀt˜ion“of“compãŽletµUe“xpGoin±ÇtàsŽ¡‘Rb¸ãy–4öus#inÜrg“a“tšµUe
«rm“rewr*«it˜e“syst˜em“tÜro“transform“s1ÇemÃŽanš±Çt¸ãiñÆcally“equiv‘ÿqÇalen˜t“tµUe
«rms“tÜroŽ¡‘Rsynš±Çt•¸ãact“iñÆcally‘8|idÕTen˜t“iñÆcal–8|normÃŽal“forms.“Cons1Çel“dÕTe•GsõTcr*«ibš#e“s–8|a“s˜impãŽle“rewr*«itµUe
«r“for“t•¸ãw“o-Ž¡‘Rp•Goin±Çt›ÚulaÀtŸÿt¸ãiñÆce“s˜us1Çe“d˜in˜Y‘ÿ*ªale˜Hask•¸ãell‘[Con91Ž‘Ç!],˜an“d˜t•Uh“e˜tµUec“hnique˜w“as˜extµUen“dÕTeGd˜tÜroŽ¡‘Rot•Uh•¸ãe
«r›ëËlaÀtŸÿt“iñÆceGs˜in‘[Sew94Ž‘8ç],˜Sect“ion˜5.˜Rewr*«itµUe-bas1Çe•Gd˜xp“oin±ÇtµUe•
«rs˜cannot,˜in˜gen¸ãe“ral,Ž¡‘RsoãŽlv•¸ãe›UUhigh“e•
«r-ordÕTe“r˜equaÀt•¸ãions,˜buÜrt,˜as˜w“e˜sh“all˜s1Çee,˜t•Uhi#s˜m•ÃŽay˜not˜m“aÀtŸÿtµUe
«r˜m•Uu•¸ãc“h.Ž¦‘a
NošGc•¸ãk“e
«r‘[No˜c93Ž‘8è]›ѶshÃŽo“ws˜a˜w“oràkinÜrg˜anÃŽalys•1Çe
«r,˜bas“e•Gd˜on˜\a¸ãbqstract˜re“d•¸ãu“ct“ion",Ž¡‘Rwhš¸ãe•
«re‘‚8tµUe“rm-rewr*«it˜inšÜrg–‚8i#s“us1ÇeGd“t˜o“execu˜tµUe“t•Uh¸ãe“program“us#in˜g“somš¸ãe“a˜bqstract“s1Çe-Ž¡‘RmÃŽan±Çt¸ãiñÆcs.–dBy“comparš*«i#son,“our“tµUe
«rm-rewr˜it¸ãinšÜrg“i#s“us1ÇeGd“t˜o“dÕTetµUect“xpGoin±Çtàs,“an¸ãdŽ¡‘Rt•Uh¸ãe
«re–-viš#s“a“cleqar“di˜st•¸ãinct“ion‘-vb˜et“w“een›-vt•Uh“e˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ion˜an“d˜xpGoin±Çt“inÜrgŽ¡‘Ract•¸ãivit“ieGs.Ž¦‘a
Thš¸ãe–˜preci#s1Çe“nÃŽaÀt˜ure“of“a˜bqstract“in±ÇtµUe
«rpret˜aÀt˜ions“i#s“dÕTetµUe
«rmin˜eGd,“nÃŽaÀt˜urally‘ÿ*ª,“b˜yŽŽŽŒ‹: gÌ\ ý¯3¤ 2Ì\ ýäܚ‘,²t•Uh•¸ãe›¾štransformÃŽaÀt“ion˜tÜro˜b#e˜sup“p•GortµUe“d.˜On•¸ãe˜part“iñÆcularly˜impGort“an±Çt˜c“h“aractµUe
«r*«i#sa-Ž¤‘,tš¸ãion–ZÄi#s“t•Uh˜e“laÀtŸÿt˜išñÆceGs“tÜro“whi˜cš¸ãh“die
«ren±Çt“t˜yp#eGs“are“mÃŽap˜p#eGd.“In“t•Uh˜e“s#impãŽleGst“cas1Çe,Ž¡‘,all–RŸnon-fuÜrnctš¸ãionÃŽal“t˜ypš#eGs“could“b˜e“mÃŽap¸ãp˜ešGd“tÜro“a“t•¸ãw“o-p˜oin±Çt›RŸlaÀtŸÿt“iñÆce,˜wit••Uh˜t“h¸ãe˜pGoin±ÇtàsŽ¡‘,repreGs1Çen±Çtš¸ãinÜrg–Rpno“dÕTemÃŽan˜d“an˜d“w˜eqak“h˜eqad“normšÃŽal“form“(WHNF)‘RodÕTem˜an¸ãd“reGsp#ect-Ž¡‘,ivš¸ãely–¡šin“str*«iñÆctn˜eGsqs“anÃŽalys•#i“s.–¡šF‘ÿ*ªor“a“s#impãŽle“sh˜ar*«inÜrg“anÃŽalys•#i“s,–¡šw˜e“migh˜t“us1Çe“a“3-Ž¡‘,pGoin±Çt›!äc•¸ãh“ain,˜dÕTenot“inÜrg˜no˜refe
«renceGs,˜exact•Uly˜on“e˜refe
«rence,˜an“d˜t“w“o˜or˜moreŽ¡‘,refe
«renceGs.–¿óSimpãŽle“a•¸ãbqstract“ions›¿ólik“e˜t•Uh“eGs1Çe˜are˜rouÜrt“in“ely˜us1ÇeGd˜in˜exi#st“inÜrg˜Hask“ellŽ¡‘,compile
«rs‘[Con91Ž‘Ç!,‘¬úPJ93Ž‘žÅ].–¬úThš¸ãe“s#impãŽliñÆcit˜y“of“t•Uh˜e“a˜bqstract˜ions“mÃŽak˜eGs“t•Uh˜eGsš1Çe“anÃŽalys˜eGsŽ¡‘,c•¸ãh“eqap›UUan“d˜relia“bãŽle,˜so˜w“e˜sh“all˜not˜cons#idÕTe
«r˜t•Uh“em˜furt•Uh“e
«r.ŽŸ+«‘;
A‘¬ªmore›¬ÁpGo•¸ãw“e
«rful˜anÃŽalys•#i“s˜migh•¸ãt˜aÀtŸÿtµUempt˜tÜro˜giv“e˜dÕTet“aileGd˜informÃŽaÀt“ion˜a“bGouÜrtŽ¡‘,fu•Ürnct¸ãions›Á?dÕTeqalin“g˜wit•Uh˜stru•¸ãct“ureGd˜t“yp#eGs˜su“c“h˜as˜li#stàs,˜treeGs,˜or˜wh“aÀtµUev“e
«r˜program-Ž¡‘,mš¸ãe
«rs–7^care“tÜro“dÕTen˜e.“LaÀtŸÿt˜iñÆceGs“a˜bqstract˜inÜrg“su˜c˜h“t˜yp#eGs“gro˜w“in“accordÜrance“witš•Uh“t˜h¸ãeŽ¡‘,compãŽlexitš¸ãy–apof“t•UhÃŽoqs1Çe“t˜yp#eGs,“so“t•Uh˜e
«re“iš#s“no“arbitrary“cu•Ürt“o–appGoin±Çt“b˜ey•¸ãon“d‘apwhiñÆc“hŽ¡‘,all–LDdÕTetš¸ãails“are“ignoreGd.“In“ot•Uh˜e
«r“w˜ords,“t•Uh˜e
«re“iš#s“a“pGo•qs“s˜ibilit¸ãy–LDof“s1ÇeeGinÜrg“arbitrar*«ilyŽ¡‘,f•#ar›œô\ins“idÕTe"˜dÜraÀt•¸ãa˜stru“ct“ureGs.˜Th“e˜do“wns•#idÕTe˜i“s˜t••Uh¸ãaÀt˜t“h•¸ãeGs1Çe˜laÀtŸÿt“iñÆceGs˜can˜an“d˜do˜getŽ¡‘,vš¸ãe
«ry–&Çlarge,“so“t•Uh˜e“anÃŽalys•#i“s‘&Çb“ecom˜eGs‘&Çexp“ens“iv˜e.–&ÇIn“t•Uhi#s“s•1Çens“e,‘&Çs“em•ÃŽan±Çt˜iñÆc›&Çan“alys•#i“s˜i“sŽ¡‘,a–”Qpartš¸ãiñÆcularly“in±Çtract˜a˜bšãŽle“prob˜lem,“b#ecašŸÿus1Çe“t•Uh¸ãe“laÀt˜tš¸ãiñÆce“s#izeGs“an˜d“t••Uh“us–”QamouÜrn±Çt“ofŽ¡‘,eort–*KrequirešGd“can“gro¸ãw“exp˜on•¸ãen±Çt“ially–*Kwit•Uh“compãŽlexitš¸ãy“of“t˜yp#eGs.“F‘ÿ*ªor“exampãŽle,“ifŽ¡‘,an–&itµUem“of“t¸ãypš#e“Á(Int,–?ýInt,“Int)–&²i˜s“mo•GdÕTelle“d–&bš¸ãy“a“9“pGoin±Çt“laÀtŸÿt˜iñÆce,“(2–
ÛWó
!",š

cmsy10¸“²2“¸“²2)Ÿ
ÿóO!â…cmsy7·?Ž‘À
²,Ž¡‘,addinšÜrg–B³just“on¸ãe“more“ÁInt“²t˜o“t•Uhš¸ãe“t˜upãŽle“eect˜iv˜ely“douš•UbãŽleGs“t˜hš¸ãe“laÀtŸÿt˜iñÆce“s#ize,“giv-Ž¡‘,inÜrg›[f(2–畸“²2“¸“²2“¸“²2)Ÿ
ÿ·?Ž‘À
².˜Th•¸ãe˜coqstàs˜of˜high“e•
«r˜ordÕTe“r˜s1Çem•ÃŽan±Çt¸ãiñÆc˜an“alys1ÇeGs˜are˜almoqstŽ¡‘,legen¸ãd•Ürary‘ÿ*ª,›wkbu“t˜ev¸ãen˜r•s“t˜ordÕTe
«r˜anÃŽalys1Çe•Gs˜can˜b#ecom¸ãe˜exce“sqs•#iv¸ãely˜exp“ens“iv¸ãe.˜Get-Ž¡‘,t•¸ãinÜrg›…reqasonÃŽa“bãŽle˜p#e
«rformÃŽance˜som“et“im“e•Gs˜require“s˜\w•¸ãoràk˜limit“inÜrg"˜{˜t•Uhro“winÜrg˜aw“ayŽ¡‘,dÕTet•¸ãail›UUwhiñÆc“h˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ion˜w“ould˜ot•Uh“e
«rwi#s1Çe˜piñÆc“k˜up.ŽŸ!@½‘,Ó2‘
€Cons	™train–ftÔËs–€on“via bÙ™le“dÆfe`s0ignsŽŸÚW‘,»2.1‘üSepara•¶ftª"e‘ÕTCompila“t®9ionŽŸÚW‘,²Cur*«iously–Ÿóenough,“s1ÇeparašÀtµUe“compila˜tš¸ãion“i#s“t•Uh˜e“biggešGst“s#inÜrgle“source“of“dÕTe˜s#ignŽ¡‘,constrainš±Çtàs.‘O©A‘O§con•¸ãv“enien˜t›O©w“ay˜t•Üro˜view˜a˜m•Uul“t•¸ãi-moGd“ule˜program˜i#s˜as˜a˜directµUeGd,Ž¡‘,ro•GotµUe“d,›úúp“o•qs“s•#ibãŽly˜cycliñÆc˜graph,˜wit•Uh˜arcs˜re
ect¸ãinÜrg˜impGort˜dšÕTep“en•¸ãd˜encieGs,›úút•Uh“e˜ÁMainŽ¡‘,²moGdš¸ãule–GåaÀt“t•Uh˜e“\tÜro˜p",“an˜d“t•Uh˜e“Hask˜ell“ÁPrelude“²aÀt“t•Uh˜e“bGotŸÿtÜromŸü^ÿóٓ Rcmr7±1ŽŽ‘|s².“CompilaÀt˜ion“of“aŽ¡‘,mo•Gd¸ãule›³.ÁM‘³²caŸÿus1Çe“s˜t••Uh¸ãe˜compile
«r˜tÜro˜reqad˜t“h•¸ãe˜source˜tµUext˜of˜ÁM‘³²an“d˜in±ÇtµUe
«rf#ace˜leGs˜ofŽ¡‘,mo•Gdš¸ãule“s‘‹Ðimm˜e“diaÀtµUely–‹Ðb#elo˜w“ÁM²,“an˜d“emit“coGdÕTe“an˜d“inš±ÇtµUe
«rf#ace“leGs“for“ÁM².“In˜tµUe
«rf#aceŽ¡‘,lešGs–Êare“us1Çe˜d“bš¸ãy“t•Uh˜e“compile
«r“tšÜro“comm•Uu˜niñÆcaÀtµUe“reGsul˜tàs“of“s1ÇemšÃŽan±Çt¸ãiñÆc“an˜alys1ÇeGs“acro•qs“sŽ¡‘,mo•Gdš¸ãule‘Ðb“ou•Ürn˜d“ar*«ieGs.–ÐIn“t•Uh˜e“a˜bqs1Çence“of“informÃŽaÀt˜ion“a˜bšGouÜrt“imp˜ortµUe˜d“en±Çt•¸ãit“ie˜s,‘Ðt•Uh“e
«reŽ¡‘,i#s–âìalwš¸ãays“a“safe“asqsuÜrmpt˜ion“whiñÆc˜h“can“bš#e“mÃŽadÕTe.“Thi˜s“f*«ram•¸ãew“oràk›âìimp•Goqs1Çe“s˜s1Çev¸ãe
«ralŽ¡‘,limit•¸ãaÀt“ions:ŽŸ®¬‘2@»{ŽŽŽ‘=²Thš¸ãe–tin±ÇtµUe
«rf#ace“leGs“ough˜t“tšÜro“b#e“limitµUeGd“t˜o“a“reqasonÃŽaš¸ãbãŽle“s#ize,“ot•Uh˜e
«rwi#s1Çe“t•Uh˜eŽ¡‘=compile
«r–\fmÃŽay“sp#enš¸ãd“a“lot“of“t˜im˜e“reqadinÜrg“t•Uh˜em.“F‘ÿ*ªor“exampãŽle,“Glasgo˜w“Hask˜ellŽ¡‘=0.19's–®/ÁPrelude“²in±ÇtµUe
«rfš#ace“i˜s“a¸ãbGoušÜrt“100k“lon˜g,“an¸ãd“reqadin˜g“it“s#ignican±Çt•Uly“slo¸ãwsŽ¡‘=compile
«r›UUst•¸ãart“up˜for˜smÃŽall˜mošGd“ule˜s.Ž‘,Ÿ	ىff8çϟ
L͍‘
Ÿü-=ó)¹Aa¨cmr6Ô1ŽŽ‘	?üÐIt–Ti äs“con•¾9v“enien·¤t–Ttšßo“asNsu˜mš¾9e“all“mo•AÇd˜ule“s›Timp“ort˜tTh¾9e˜ó1ߤN		cmtt9ÜPreludeÐ.ŽŽŽŒ‹*^ gÌ\ ý¯3¤ 2Ì\ ýäܚ‘X@»{ŽŽŽ‘c²InformÃŽaÀtš¸ãion–˜×only“
o˜ws“up˜w˜ards,“tÜro˜w˜ards“ÁMain².“F‘ÿ*ªor“queGst˜ions“of“t•Uh˜e“formŽ¤‘c\hÃŽoš¸ãw–Q6i#s“en±Çt˜it˜y“X‘PôgoinšÜrg“t˜o“b#e“us1ÇeGd?",“wš¸ãe“also“n˜eeGd“informÃŽaÀt˜ion“
o˜ws“do˜wn˜w˜ardŽ¡‘cf*«rom‘UUÁMain².Ž¡‘X@»{ŽŽŽ‘c²T‘ÿ*ªo–Äâcompile“a“moGdš¸ãule“ÁM²,“it“shÃŽould“suce“tÜro“reqad“t•Uh˜e“in±ÇtµUe
«rf#acešGs“for“mo˜d¸ãule˜sŽ¡‘cimm•¸ãeGdiaÀtµUely›Öçb#elo“w˜ÁM².˜W‘ÿ*ªe˜ce
«rt“ainly˜w“an±Çt˜tÜro˜a“v“oid˜reqadinÜrg˜all˜t•Uh“e˜in±ÇtµUe
«rf#aceGsŽ¡‘cin–½t•Uhš¸ãe“do˜wn˜w˜ard“cloqsure“of“ÁM²:“for“ÁMain²,“t•Uh˜aÀt“could“m˜ešqan“re˜adinÜrg“t•Uhš¸ãe“en±Çt˜ireŽ¡‘cs1Çet–UUof“in±ÇtµUe
«rf#aceGs.Ž©Žû‘R»Mu×t•®9ually›èÕrecur-s(äiv“e˜mošQÇd“ule˜s‘<;²Exi#st•¸ãinÜrg›DæimpãŽlem“en±Çt“aÀt“ions˜dÕTeqal˜wit••Uh˜m“uÜrt¸ãuallyŽ¡‘Rrecurs#iv•¸ãe‘cÆmošGd“ule˜s–cÆin“t•¸ãw“o›cÆw“ays.˜On“e˜i#s˜tÜro˜compile˜all˜mošGd“ule˜s–cÆin“a“group“tÜro-Ž¡‘Rget•Uhš¸ãe
«r,–Ãa“cleqan“soãŽluÜrt˜ion,“as“wit•Uh“Y‘ÿ*ªale“Hask˜ell's“\compilaÀt˜ion“uÜrnitàs".“Th˜e“ot•Uh˜e
«rŽ¡‘Ri#s–™ptÜro“compile“eqacš¸ãh“moGd˜ule“in“t•Uh˜e“group“s1ÇeparaÀtµUely‘ÿ*ª,“uÜrn±Çt˜il“in±ÇtµUe
«rf#ace“leGs“st˜a˜bili#s1Çe,Ž¡‘RdÕTenot¸ãinÜrg–¥La“xešGd“p˜oin±Çt.“Thi#s“mš¸ãeqans“t•Uh˜ašÀt“a˜t“leqast“onš¸ãe“moGd˜ule“will“h˜a˜v˜e“tÜro“b#eŽ¡‘RcompileGd–?Nwit•Uh“ze
«ro“s1ÇemÃŽan±Çtš¸ãiñÆc“kno˜wleGdge“of“t•Uh˜e“ot•Uh˜e
«rs,“witš•Uh“t˜h¸ãe“compile
«r“mÃŽak-Ž¡‘RinÜrg›„{w¸ãor•s“t-cas1Çe˜asqsuÜrmpt•¸ãions.˜Th“e˜upqshÃŽot˜of˜t•Uhi•#s˜i“s˜t•Uh•¸ãaÀt,˜for˜s1ÇemÃŽan±Çt“iñÆc˜anÃŽalys1ÇeGsŽ¡‘Rin•¸ãv“oãŽlvinšÜrg‘UUxpGoin±Çt“in˜g,›UUt•Uh“e˜xp•Goin±Çtàs˜b#e“in•Ürg˜compu“tµUe•Gd˜mÃŽay˜b#e˜su•Ub“o•¸ãpt“imÃŽal.Ž¦‘R»2.2‘üCompßJletª"e–ÕTor“minimº}al“fu×nct®9ion“graphs?ŽŸŽû‘R²FixpGoin±Çt•¸ãinÜrg›1]b“y˜minimÃŽal˜fuÜrnct“ion˜graphsŸü^ÿ±2ŽŽ‘	­Ð²(MF“Gs)˜builds˜t•Uh“e˜minimÃŽal˜s1Çet˜ofŽ¡‘Rargu•Ürmš¸ãen±Çt-reGsul“t–֌pairs“ó
 b>

cmmi10µG“²n˜ee•GdÕTe“d–֌tÜro“ev‘ÿqÇaluaÀtµUe“t•Uh˜e“xpGoin±Çt“aÀt“a“sp#ecic“arguÜrm˜en±ÇtŽ¡‘RµxŸ
ÿót}\Êcmti7ÅinitŽ‘
¹².–c/Thš¸ãe“init˜ial“graph“i#s“¸f²(µxŸ
ÿÅinitŽ‘
¹µ;‘
ª¨¸>²)¸gŸü^ÿ±3ŽŽ‘|s².“A˜t“eqac˜h“itµUe
«raÀt˜ion,“reGsulšÜrtàs“for“all“argu˜m¸ãen±ÇtàsŽ¡‘Rin–“4t•Uhš¸ãe“curren±Çt“graph“µGŸ
ÿó	0e—rcmmi7´nŽ‘	²²are“re-ev‘ÿqÇaluaÀtµUeGd,“givinÜrg“µGŸ
ÿ´n±+1Ž‘‘².“Wh˜en“an“ap˜pãŽliñÆcaÀt˜ion“ofŽ¡‘Ra–ùAfušÜrnct¸ãion“t˜o“som¸ãe“argu˜m¸ãen±Çt“µx“²i#s“encou˜n±ÇtµUe
«reGd,“t•Uhš¸ãe“exi#st˜inÜrg“graph“µGŸ
ÿ´nŽ‘j¿²i#s“s1Çeqarc˜h˜eGdŽ¡‘Rfor–sÛa“corre•Gsp“on¸ãdinšÜrg‘sÛre“sul˜t.–sÛIf“tš•Uh¸ãaÀt“µx“²i#s“not“preGs1Çen±Çt,“t˜hš¸ãe“reGsulÜrt“i#s“t˜ak˜en“as“¸>“²an˜dŽ¡‘Rt•Uhš¸ãe–¼9pair“(µx;‘
ª¨¸>²)“i#s“ins1Çe
«rtµUeGd“in±ÇtÜro“µGŸ
ÿ´n±+1Ž‘‘².“Th˜e“pro•Gce“s•qs›¼9rep#e“aÀtàs˜uÜrn±Çt•¸ãil˜µG˜²st“a“bili#s1ÇeGs,Ž¡‘Rwhš¸ãe
«reupGon–UUµG²(µxŸ
ÿÅinitŽ‘
¹²)“dÕTeliv˜e
«rs“t•Uh˜e“requireGd“v‘ÿqÇalue.“As“an“exampãŽle,“cons#idÕTe
«r:Ž©+DýŸç¹’Š#xóý':

cmti10ÄfŽ’š¾Ñ²::ŽŽ’¥R»[»2‘þ¢_Ÿ
ÿ·?Ž‘„¿Ÿó2?ŽŽ‘
‹Ø¸!‘Ç»2‘þ¢_Ÿ
ÿ·?Ž‘„¿Ÿó2?ŽŽ‘
ÄÀ²]ŽŽŸY–Ÿ¨’Š#xÄf‘å¬xŽ’š¾Ñ²=ŽŸëô’¥R»óú±u

cmex10«8ŽŸ	’¥R»<ŽŸ’¥R»:ŽŽŸóæd’¯œ°¸?Ž’
7ÊsÄifŽ’
BÒ?µx–Dz=“¸?ŽŽ¡’¯œ°Älift–òز(Älift“²(»0²))Ž’â¹È¸u‘㈲(ÄliftŽ‘õ«²(¸?²)–8à¸t“²(µf‘Ú§¸?²))Ž’
7ÊsÄifŽ’
BÒ?µx–Dz=“ÄliftŽ‘¼Ã²(¸?²)ŽŽ¡’ظàµx–㈸u“²(ÄliftŽ‘õ«²(¸?²)–8à¸t“²(µf‘Ú§x²))Ž’
7ÊsÄotherwiseŽŽŽŽŽŽŽŽŽ¦‘R²Givš¸ãen–æµxŸ
ÿÅinitŽ‘Þv²=‘%_ÄliftŽ‘
²(¸?²),“w˜e“h˜a˜v˜e“µGŸ
ÿ±0Ž‘¡Ò²=‘%_¸f²(ÄliftŽ‘õ«²(¸?²)µ;‘
ª¨¸>²)¸g².“Ev‘ÿqÇaluaÀt˜inÜrg“(µf‘8îÄliftŽ‘.™²(¸?²))“giv˜eGsŽ¡‘RreGsulÜrt‘ÁêÄlift–òز(Älift“²(»0²))Ž‘4½danš¸ãd–Áêa“n˜ew“pair“(¸?µ;›
ª¨¸>²),“so“µGŸ
ÿ±1Ž‘C‹²=‘Ǹf²(¸?µ;˜¸>²)µ;˜²(ÄliftŽ‘õ«²(¸?²)µ;˜Älift–òز(Älift“²(»0²)))¸g².Ž¡‘RItµUe
«raÀtš¸ãinÜrg–4Üagain“giv˜eGs“µGŸ
ÿ±2Ž‘
b¾²=‘æK¸f²(¸?µ;–
ª¨¸?²)µ;“²(ÄliftŽ‘õ«²(¸?²)µ;“Älift–òز(Älift“²(»0²)))¸g–4ܲan˜d“µGŸ
ÿ±3Ž‘
b¾²=‘æKµGŸ
ÿ±2Ž‘|s²,“soŽ¡‘RµG²(µxŸ
ÿÅinitŽ‘
¹²)–Ç=“ÄliftŽ‘¼Ã²(ÄliftŽ‘õ«²(0)).Ž¡‘a
In–Dtš•Uhi#s“exampãŽle,“t˜hš¸ãe“requireGd“answ˜e
«r“w˜as“obt˜ain˜eGd“b˜y“ev‘ÿqÇaluaÀt˜inÜrg“µf‘Wª²aÀt“t˜w˜oŽ¡‘RoušÜrt–Æof“itàs“four“argu˜m¸ãenš±Çt“pGoin˜tàs.“Whš¸ãen“t•Uh˜e“arguÜrm˜en±Çt“laÀtŸÿt˜iñÆceGs“con±Çt˜ain“t•UhÃŽousan˜dsŽ¡‘Rof–]­pGoin±Çtàs,“t•Uhš¸ãe“hÃŽo˜pš#e“i˜s“t•Uhš¸ãaÀt“only“a“t˜in˜y“minor*«it˜y“of“argu•Ürm˜en±Çt-reGsul“t–]­pairs“n˜eeGd“tÜroŽ¡‘Rb#e‘UUcompuÜrtµUeGd.Ž¡‘a
MF•¸ãGs›h>ac“hiev“e˜\lazy"˜xpGoin±Çt“inÜrg˜b#ecaŸÿus1Çe˜t•Uh“ey˜mÃŽak“e˜expãŽliñÆcit˜t•Uh“e˜dšÕTep#en“d˜enceŽ¡‘Rb#et•¸ãw“een–?inpušÜrt“an¸ãd“ou˜tÊªpu˜t“pGoin±Çtàs.“Notš¸ãiñÆce“hÃŽo˜w“t•Uh˜e“algor*«it•Uhm“i#s“limitµUeGd“tÜro“r•s“tŽ‘RŸŸ«‰ff8çϟ
L͍‘
Ÿü-=Ô2ŽŽ‘	?üÐA–Tfußnctš¾9ion's“graph“i äs“no“more“tTh˜an“a“coå±llect˜ion“of“argu•ßm˜en·¤t-reAÇsul“t–Tpair”s“for“it.ŽŸ‘
Ÿü-=Ô3ŽŽ‘	?üó,©±Ê		cmsy9×>–TÐif“m•Èaxim“al–TxpšAÇoin·¤tâfs“are“sough¾9t,“×?“Ðfor“minimÈal“xp˜oin·¤tâfs.ŽŽŽŒ‹@¨ gÌ\ ý¯3¤ 2Ì\ ýäܚ‘,²ordÕTe
«r–ª6fuÜrnctš¸ãions:“high˜eš
«r“ordÕTe˜r“xpGoin±Çtš¸ãinÜrg“w˜ould“require“compar*«inšÜrg“compãŽletµUe“fu˜nc-Ž¤‘,t•¸ãion›ƒ‚repreGs1Çen±Çt“aÀt“ions,˜whiñÆc“h˜i•#s˜preci“s1Çely˜wh•¸ãaÀt˜lazy˜xpGoin±Çt“inÜrg˜i•#s˜dÕTešGs“ign¸ãe˜d–ƒ‚tÜro“a•¸ãv“oid.Ž¡‘,Nev•¸ãe
«rt•Uh“eleGsqs,›‡Åb“y˜extµUen“dinÜrg˜t•Uh“e˜not“ion˜of˜dšÕTep#en“d˜ency›‡Åb#et“w“een˜inpuÜrtàs˜an“d˜ou•ÜrtÊªpu“tàs,Ž¡‘,F‘ÿ*ªe
«rguson–	anš¸ãd“Hugh˜eGs‘[FH93Ž‘!]“h˜a˜v˜e“su˜cceGsqsfully“gen˜e
«rali#s1ÇeGd“MF˜Gs“tÜro“w˜oràk“in“t•Uh˜eŽ¡‘,high¸ãe•
«r›T’ordÕTe“r˜cas1Çe,˜callin•Ürg˜t•Uh¸ãem˜concretµUe˜d“aÀt•¸ãa˜stru“ct“ureGs˜(CDSs),˜an“d˜Roqs1Çen“d•Üra“hlŽ¡‘,repšGortàs–UUs#imilar“re˜sulÜrtàs‘[Roqs93Ž‘j­].Ž¡‘;
F‘ÿ*ªuÜrnct•¸ãionÃŽal›6t“yp#eGs˜a“bqstract˜tÜro˜dom•ÃŽains˜wit•Uh˜so˜m“an•¸ãy˜pGoin±Çtàs˜t•Uh“aÀt˜lazy˜xpGoin±Çt-Ž¡‘,inÜrg–pÂcan“mÃŽakš¸ãe“an“enormous“die
«rence“for“high˜eš
«r“ordÕTe˜r“anÃŽalys•#i“s.–pÂF‘ÿ*ªe˜rguson“an¸ãdŽ¡‘,Hugh•¸ãeGs›UUgiv“e˜gureGs˜for˜t•Uh“e˜f#amous˜Áfoldr²-Áconcat˜²exampãŽle:Ž©‘³‘;¿÷Áfoldr–?ý::“(a“->“b“->“b)“->“b“->“[a]“->“bŽ¡¡‘;¿÷foldr–?ýf“a“[]“=“aŽ¡‘;¿÷foldr–?ýf“a“(x:xs)“=“f“x“(foldr“f“a“xs)Ž¡¡‘;¿÷concat–?ý::“[[a]]“->“[a]Ž¡‘;¿÷concat–?ý=“foldr“(++)“[]Ž¦‘,²whš¸ãe
«re–ŸPÁ(++)“²i#s“t•Uh˜e“Hask˜ell“li•#st-ap˜p“en˜d‘ŸPo˜p“e
«raÀtšÜror.‘ŸPUs“in˜g–ŸPa“BHA-stš¸ãyle“forw˜ard“a˜b-Ž¡‘,stract›¦µin±ÇtµUe
«rpret•¸ãaÀt“ion‘[BHA85Ž‘ []˜requireGs˜buildinÜrg˜an˜inst“ance˜of˜Áfoldr˜²in˜t•Uh“e˜do-Ž¡‘,mÃŽain›=Ô[»4–J•¸!“»4“¸!“»4²]“¸!“»4“¸!“»6“¸!“»4².˜Thi#s˜giv•¸ãeGs˜an˜arguÜrm“en±Çt˜laÀtŸÿt“iñÆce˜of˜almoqstŽ¡‘,600,000–Ø1pGoinš±Çtàs.“CompuÜrt•¸ãaÀt“ion–Ø1of“t•Uh¸ãe“en˜tš¸ãire“fuÜrnct˜ion“graph“t˜ak˜eGs“on“t•Uh˜e“ordÕTe
«rŽ¡‘,of–•Gan“hÃŽour“us#inÜrg“t•Uhš¸ãe“f*«ron±Çt˜ie
«rs“algor*«it•Uhm‘[FH93Ž‘!],“wh˜e
«reqas“wit•Uh“CDSs“compu•Ürt˜in“gŽ¡‘,just–œ#t•UhÃŽoqs1Çe“partàs“n¸ãee•GdšÕTe“d–œ#tÜro“d˜etµUe
«rminš¸ãe“t•Uh˜e“en±Çt˜ire“xpGoin±Çt“of“Áconcat“²t˜ak˜eGs“t˜w˜o“orŽ¡‘,t•Uhree–¬	s1Çeconš¸ãds“uÜrn˜dÕTe
«r“s#imilar“circuÜrmst˜anceGs.“F‘ÿ*ªor“more“compãŽlex“fuÜrnct˜ion“spaceGs“t•Uh˜eŽ¡‘,dieš
«rence–UUi#s“ev¸ãen“greqaÀtµUe˜r.Ž¡‘;
Giv•¸ãen›"su“c“h˜an˜o“v“e
«rwh“elminÜrg˜p#e
«rformÃŽance˜adv‘ÿqÇan±Çt“age,˜it˜i#s˜tµUempt“in•Ürg˜t“o˜for-Ž¡‘,get–en±Çtš¸ãirely“a˜bGouÜrt“an˜y“ot•Uh˜e
«r“xpGoin±Çt˜inÜrg“sõTc˜h˜em˜e.“Y‘ÿ*ªet“in±ÇtµUegraÀt˜ion“of“CDS‘qbas1ÇeGdŽ¡‘,xpšGoin±Çt•¸ãinÜrg‘.+pro“v“e˜s‘.+trou•UbãŽle˜som“e›.+wh“en˜view“eGd˜f•*«rom˜a˜widÕTe
«r˜f“ram•¸ãew“oràk.˜Th“e
«re˜areŽ¡‘,t•¸ãw“o›ˆÚas-y“et˜uÜrnrešGsoãŽlv“e˜d–ˆÚi#sqsue˜s.“Fir•s“t•Uly‘ÿ*ª,–ˆÚas“di#sõTcusqs1Çe˜d“b#eloš¸ãw,“w˜e“h˜a˜v˜e“a“dšÕTeep“d˜eGs#ireŽ¡‘,tÜro›ÞQa•¸ãv“oid˜monomorphiñÆc˜anÃŽalys1ÇeGs˜of˜an“y˜kin“d.˜CDSs˜as˜pre•Gs1Çen±ÇtµUe“d˜so˜f#ar˜are˜purelyŽ¡‘,monomorphiñÆc.–;¯BecaŸÿus1Çe“of“t•Uhš¸ãe“n˜eešGd“tÜro“cloqs1Çely“exp˜oqs1Çe“d•ÕTep#en¸ãd“encie˜s›;¯b#et•¸ãw“een˜su•Ub-Ž¡‘,partàs–©¿of“t•Uhš¸ãe“inpuÜrt“an˜d“suš•Ub-partàs“of“t˜hš¸ãe“ou•ÜrtÊªpu“t,–©¿it“i#s“not“cleqar“hÃŽo˜w“t•Uh˜ey“mÃŽay“b#eŽ¡‘,us1ÇešGd–ý,in“a“p˜oãŽlymorphiñÆc“w¸ãay›ÿ*ª.“F˜or“r•s“t-ordÕTe
«r‘ý,MFš¸ãG-s“t˜yle–ý,xpGoin±Çt˜inÜrg,“pGoãŽlymorph-Ž¡‘,i•#sm›Q¹i“s˜not˜a˜probãŽlem:˜K•¸ãu•Ubiak‘[KHL91Ž‘‡"]˜h“as˜impãŽlem“en±ÇtµUe•Gd˜a˜p“oãŽlymorphiñÆc˜pro‘Ž8ject¸ãionŽ¡‘,anÃŽalys1Çe
«r–UUwit•Uh“MFš¸ãG“xpGoin±Çt˜inÜrg“in“t•Uh˜e“Glasgo˜w“Hask˜ell“compile
«r.Ž¡‘;
A‘—Èmore–—øimm¸ãešGdiaÀtµUe“probãŽlem“wit•Uh“lazy“xp˜oin±Çtš¸ãinÜrg“i#s“hÃŽo˜w“tÜro“dÕTeqal“wit•Uh“mo•Gd˜ule“s.Ž¡‘,A‘dScrudÕTe›dWsõTc•¸ãh“em“e˜i#s˜tÜro˜expGort˜wh“aÀtµUev“e
«r˜partàs˜of˜t•Uh“e˜a“bqstract˜fuÜrnct“ion˜graph˜h“a“v“eŽ¡‘,b#een–{SaggregaÀtµUeGd“whilst“compilinšÜrg“t•Uh¸ãe“dÕTenin˜g“moGd¸ãule.“If,“compilin˜g“somš¸ãe“ot•Uh˜e
«rŽ¡‘,moGd•¸ãule,›êt•Uh“e˜compile
«r˜n“eeGds˜tÜro˜kno“w˜t•Uh“e˜xpGoin±Çt˜aÀt˜som“e˜pGoin±Çt˜for˜whiñÆc“h˜noŽ¡‘,informÃŽaÀtš¸ãion–Òi#s“a˜v‘ÿqÇaila˜bãŽle,“it“i#s“som˜et˜im˜ešGs“p˜o•qs“s#ibãŽle–ÒtÜro“mÃŽak¸ãe“a“safe“e˜st¸ãimÃŽaÀtµUe“us#inÜrgŽ¡‘,monotÜroniñÆcit•¸ãy›UUan“d˜t•Uh“e˜informÃŽaÀt“ion˜whiñÆc“h˜Äis˜²a“v‘ÿqÇaila“bãŽle.Ž¡‘;
F‘ÿ*ªor–ò!exampãŽle,“h•¸ãa“vinÜrg›ò!exp•GortµUe“d˜µG–Ìj²=“¸f²(µxŸ
ÿ±1Ž–|sµ;›
ª¨f‘ßùxŸ
ÿ±1Ž“²)µ;˜²(µxŸ
ÿ±2Ž“µ;˜f‘ßùxŸ
ÿ±2Ž“²)¸g–ò!²w¸ãe“mÃŽay“wi#sh“tÜroŽ¡‘,knoš¸ãw–˜`(µf‘õxŸ
ÿ±3Ž‘|s²)“in“t•Uh˜e“cas1Çe“wh˜e
«re“µxŸ
ÿ±3Ž‘	]ð¸v‘á}µxŸ
ÿ±1Ž‘	Ó²an˜d“µxŸ
ÿ±3Ž‘	]ð¸v‘á}µxŸ
ÿ±2Ž‘|s².“Since“µf‘«ï²i#s“monotÜroniñÆcŽ¡‘,it–GGfoãŽlloš¸ãws“t•Uh˜aÀt“µf–mâxŸ
ÿ±3Ž‘ÖƸv‘ZSµf“xŸ
ÿ±1Ž‘ú²an˜d›GGµf“xŸ
ÿ±3Ž‘ÖƸv‘ZSµf“xŸ
ÿ±2Ž‘|s²,˜an¸ãd˜so˜µf“xŸ
ÿ±3Ž‘ÖƸv‘ZS²(µf“xŸ
ÿ±1Ž‘Vž¸u‘Ú+µf“xŸ
ÿ±2Ž‘|s²).Ž¡‘,Pro•¸ãvidÕTeGd›/õw“e˜are˜w“oràkinÜrg˜in˜a˜f*«ram“ew“oràk˜wh“e
«re˜o“v“e
«reGst“imÃŽaÀt“ion˜i•#s˜safe,˜t•Uhi“s˜giv¸ãeGsŽ¡‘,an›UUap•¸ãpro“ximÃŽaÀtµUe˜v‘ÿqÇalue˜for˜µf‘Ú§xŸ
ÿ±3Ž‘|s².ŽŽŽŒ‹V gÌ\ ý¯3¤ 2Ì\ ýäܚ‘a
²Cleqarly‘ÿ*ª,–üítš•Uh¸ãe“bigge
«r“t˜h¸ãe“exp•GortµUe“d–üíµG²,“t˜h¸ãe“b#etŸÿtµUe
«r“t˜hš¸ãe“e•Gst˜imÃŽaÀtµUe“s–üít•Uh˜aÀt“can“b#e“mÃŽadÕTeŽ¤‘Rf*«rom–ÔTit.“BuÜrt“t•Uhš¸ãe“whÃŽoãŽle“purpGoqs1Çe“of“MF˜Gs“i#s“tÜro“k˜eep“µG“²as“smÃŽall“as“pGo•qs“s#ibãŽle,Ž¡‘Rcon±Çt•¸ãaininÜrg›ûp#e
«rh“apqs˜a˜h“an“dful˜of˜pGoin±Çtàs˜ouÜrt˜of˜t•UhÃŽousan“ds˜of˜can“didÜraÀtµUeGs.˜Thi#sŽ¡‘Rmilit¸ãaÀtµUešGs–3Oagainst“mÃŽakinÜrg“go˜o˜d“ap•¸ãpro“ximÃŽaÀt“ions.–3OW‘ÿ*ªors1Çe,“not“all“t•Uh¸ãe“p˜oin±Çtàs“in“µGŽ¡‘R²mšÃŽay–•b#e“us1ÇeGd“in“m˜akinÜrg“t•Uhš¸ãe“ap˜pro˜ximÃŽaÀt˜ion:“in“t•Uh˜e“exampãŽle“a˜bGo˜v˜e,“w˜e“are“limitµUeGdŽ¡‘Rt•Üro›UUus#in“g˜pGoin±Çtàs˜¸f²(µy•[Ù;‘
ª¨f‘Ú§y“²)–Ǹ2“µG–Ž0¸j“µxŸ
ÿ±3Ž‘C‹¸v‘ǵy[Ù¸g².Ž¡‘a
A‘>ås1Çeconš¸ãd,–?!equally“u•Ürn˜eGdifyin“g‘?!soãŽlu“t˜ion–?!i#s“tšÜro“expGort“not“only“µG²,“bu˜t“t•Uh¸ãe“re-Ž¡‘Rcurs#ivš¸ãe–ïGdomÃŽain“equaÀt˜ion“f*«rom“wh˜ence“it“cam˜e“{“or“ev˜en“t•Uh˜e“source“tµUext“whiñÆc˜hŽ¡‘Rb#egašÀt–d
t•Uh¸ãe“equa˜tš¸ãion.“Th˜en,“wh˜en“µG“²cannot“answ˜eš
«r“a“que˜ry‘ÿ*ª,“it“i#s“extµUenš¸ãdÕTeGd,“in“t•Uh˜eŽ¡‘RmÃŽann¸ãe
«r›:ùdÕTe•GsõTcr*«ib#e“d˜aš¸ãb“o˜v˜e,–:ùas“requireGd.“If“t•Uh˜e“a˜bqstract“in±ÇtµUe
«rpret˜aÀt˜ions“get“large,Ž¡‘Rdš¸ãu•Ürmpin“g–®/t•Uh˜em“inš±ÇtÜro“in˜tµUe
«rfš#ace“leGs“mÃŽay“not“b˜e“pract¸ãiñÆcal.“Thi˜s“sõTc•¸ãh“em“e–®/also“h¸ãas“aŽ¡‘Rmore›‘xsu••Ubt“le˜w•¸ãešqakn“eGs˜s.›‘xA‘‘hcru“cial˜ins#igh“t˜i#s˜t•Uh“aÀt˜n“dinÜrg˜t•Uh“e˜xpGoin±Çt˜of˜a˜domÃŽainŽ¡‘RequaÀt•¸ãion›¬ÐmÃŽak“eGs˜it˜st“an“d˜on˜itàs˜o“wn:˜it˜no˜lonÜrge•
«r˜refe“renceGs˜an•¸ãy˜ot•Uh“e
«r˜equaÀt“ion.Ž¡‘RCons#idÕTe
«r–͗t•Uhš¸ãe“foãŽllo˜winÜrg“t•Uhree“mo•Gd˜ule“s–͗dÕTeninÜrg“recurs#iv˜e“fuÜrnct˜ions“Áf²,“Ág“²an˜d“Áh“²wit•UhŽ¡‘Rcorre•Gsp“on•¸ãdinÜrg›UUequaÀt“ions˜Áf#²,˜Ág#˜²an“d˜Áh#²:Ž©¤m‘a¿÷Ámodule–?ýF(f)“where“{‘D?Ùf“=“...“f“...‘$¿ë}Ž¡‘a¿÷module–?ýG(g)“where“{“import“F;‘¿÷g“=“...“g“...“f“...“}Ž¡‘a¿÷module–?ýH(h)“where“{“import“G;‘¿÷h“=“...“h“...“g“...“}Ž¦‘R²Du•Ürmpin“g–UUt•Uhš¸ãe“uÜrnsoãŽlv˜eGd“domÃŽain“equaÀt˜ions“inš±ÇtÜro“in˜tµUe
«rf#ace“(Á.hi²)“lešGs“giv¸ãe˜s:Ž¦‘a¿÷ÁF.hi:‘¿÷f#–?ý=“...“f#“...Ž¡‘a¿÷G.hi:‘¿÷g#–?ý=“...“g#“...“f#“...Ž¡‘a¿÷H.hi:‘¿÷h#–?ý=“...“h#“...“g#“...Ž¦‘R²Wh•¸ãen›óªmoGd“ule˜ÁH‘ó²i•#s˜compileGd˜it˜mÃŽay˜b“e˜n•¸ãeceGsqsary˜tÜro˜extµUen“d˜t•Uh“e˜fuÜrnct“ion˜graphŽ¡‘Rfor–NôÁg#².“Th¸ãe“trouš•UbãŽle“i#s“t˜hi#s“m¸ãešqans“re˜adinÜrg“in±ÇtµUe
«rf#ace“ÁF.hi“²ev¸ãen“tš•UhÃŽough“t˜h¸ãe“tµUext“ofŽ¡‘Rmo•Gd¸ãule›¹úÁH‘¹Ó²do#e“s˜not˜direct•Uly˜refe•
«r˜tÜro˜ÁF²:˜in˜gen¸ãe“ral,˜it˜migh•¸ãt˜b#e˜n“eceGs•qsary˜tÜro˜re“ad˜allŽ¡‘Rin±ÇtµUe
«rf#aceGs–؍in“t•Uhš¸ãe“do˜wn˜w˜ard“cloqsure“of“ÁH².“An˜y“sõTc˜h˜em˜e“whiñÆc˜h“expGortàs“inš±ÇtÜro“in˜tµUe
«rf#aceŽ¡‘Rle•Gs›՜refe
«rence“s˜t•Üro˜fu“nct•¸ãions˜in˜ot•Uh“e
«r˜mošGd“ule˜s–՜sue
«rs“t•Uhš¸ãe“sam˜e“probãŽlem.“MÜre
«relyŽ¡‘RinlininšÜrg–?]refe
«renceGs“t˜o“ot•Uhš¸ãe
«r“equaÀt˜ions“do#eGs“not“h˜elp,“as“t•Uhi#s“mÃŽak˜eGs“t•Uh˜e“in±ÇtµUe
«rf#aceGsŽ¡‘Rcon±Çt•¸ãain›UUev“e
«ryt•UhinÜrg˜b#elo“w˜t•Uh“em˜in˜t•Uh“e˜hie
«rarc“h“y‘ÿ*ª,˜an“d˜h“ence˜v“e
«ry˜large:Ž¦‘a¿÷ÁF.hi:‘¿÷f#–?ý=“...“f#“...Ž¡¡‘a¿÷G.hi:‘¿÷g#–?ý=“letrec“f#“=“...“f#“...‘/?åin“...“g#“...“f#“...Ž¡¡‘a¿÷H.hi:‘¿÷h#–?ý=“letrec“f#“=“...“f#“...‘/?åinŽ¡’¥ÿÐletrec–?ýg#“=“...“g#“...“f#“...‘
úin“...“g#“...“h#“...Ž¦‘R²BecaŸÿusš1Çe–ÃÊof“t•Uh¸ãeGs˜e“diculÜrt¸ãiešGs,“lazy“xp˜oin±Çt¸ãinÜrg“do#e˜s“not“s1Çeem“tÜro“t“w¸ãell“in“anŽ¡‘Ren•¸ãvironm“en±Çt›UUwh“e
«re˜s1Çepara•ÀtµUe˜compila“t•¸ãion˜i#s˜t•Uh“e˜norm.ŽŸ¤m‘R»2.3‘üP®9oßJlymorphišï¥c–ÕTor“Monomorphi˜c?Ž¦‘R²P•¸ãaram“etr*«iñÆc–~VpGoãŽlymorphiš#sm“i˜s“an“impGortš¸ãan±Çt“elem˜en±Çt“of“t•Uh˜e“t˜ypš#e“systµUems“of“moGdÕTe
«r˜nŽ¡‘Rfu•Ürnct¸ãionÃŽal›UUlan“guageGs.˜Giv•¸ãen˜a˜param“etr*«i•ñÆcally˜pGoãŽlymorphi“c˜fuÜrnct•¸ãion,˜w“e˜could:ŽŽŽŒ‹kJ gÌ\ ý¯3¤ 2Ì\ ýäܚ‘2@»{ŽŽŽ‘=²ReGdo–ÂÝt•Uhš¸ãe“anÃŽalys•#i“s–ÂÝfor“eqac˜h“die
«ren±Çt“inst˜an±Çt˜iaÀt˜ion“of“t•Uh˜e“fuÜrnct˜ion.“Thiš#s“i˜sŽ¤‘=equiv‘ÿqÇalen±Çt–ߗtšÜro“expan¸ãdin˜g“ou˜t“t•Uh¸ãe“program“in±Çt˜o“a“coãŽllect¸ãion“of“monomorphiñÆcŽ¡‘=inst¸ãanceGs–UUbš#efore“anÃŽalys˜i˜s.Ž©Åٍ‘2@»{ŽŽŽ‘=²AnÃŽalys1Çe–&´t•Uhš¸ãe“fuÜrnct˜ion“once,“an˜d“us1Çe“pGoãŽlymorphiñÆc“in˜v‘ÿqÇar*«iance“reGsulšÜrtàs“t˜o“dÕTeqalŽ¡‘=wit••Uh›UUdie
«ren±Çt“ly˜inst•¸ãan±Çt“iaÀtµUe•Gd˜us1Çe“s˜laÀtµUe
«r˜on.ŽŸQ‹‘,An–™æoft-quotµUeGd“di#sadv‘ÿqÇan±Çtš¸ãage“of“t•Uh˜e“form˜e
«r“ap˜proac˜h“i#s“t•Uh˜aÀt“pGoãŽlymorphiñÆc“fuÜrnct˜ionsŽ¡‘,mšÃŽay–ãDb#e“an˜alys1ÇeGd“m˜anš¸ãy“t˜im˜eGs,“whiñÆc˜h“i#s“w˜astµUeful.“In“t•Uh˜e“w˜or•s“t–ãDcas1Çe,“t•Uh˜e“n•UuÜrm‘ÿ|qb#e
«r“ofŽ¡‘,inst¸ãancešGs–àcan“b#e“exp˜on•¸ãen±Çt“ial–àin“tš•Uh¸ãe“lenÜrgt˜h“of“t˜hš¸ãe“program.“Nev˜e
«rt•Uh˜eleGsqs,“su˜c˜h“b#e-Ž¡‘,h•¸ãa“viour–tfdoš#eGs“not“ap¸ãp˜eqar“tšÜro“oGccur.“M˜eqasuremš¸ãen±Çtàs“b˜y“Maràk“Jon˜eGs“of“s#ix“su•Ubqst˜an±Çt˜ialŽ¡‘,programs–6{in“t•Uhš¸ãe“Ánofib“²suitµUe‘[P˜ar92Ž‘qË]“suggeGst“a“t˜w˜ofoãŽld“increqas1Çe“in“t•Uh˜e“n•UuÜrm‘ÿ|qb#e
«r“ofŽ¡‘,binš¸ãdinÜrg–¯groupqs‘[Jon93Ž‘±Ì].“F‘ÿ*ªurt•Uh˜e
«r,“only“sš#impãŽle“li˜st-h•¸ãan“dlin•Ürg›¯fu“nct•¸ãions˜lik“e˜Ámap˜²an“dŽ¡‘,Áfoldr›S¨²h•¸ãa“v“e˜a˜large˜n•UuÜrm‘ÿ|qb#e
«r˜of˜inst“anceGs,˜an“d˜su“c“h˜fuÜrnct“ions˜are˜oftµUen˜inlin“eGd˜b“yŽ¡‘,o•¸ãpt“imi•#s“inÜrg–°ícompile
«rs“an•¸ãyw“ay‘ÿ*ª.–°íSo“monomorphiñÆc“anšÃŽalys•#i“s–°ím˜ay“not“actš¸ãually“in˜v˜oãŽlv˜eŽ¡‘,m•Uu•¸ãc“h›%d“upãŽliñÆcaÀt“ion˜of˜w“oràk.˜Obqs1Çe
«rv“e˜also˜t•Uh“aÀt˜s#ince˜t•Uh“e˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ions˜ofŽ¡‘,t¸ãyp#eGs–×õoftµUen“mšÃŽapqs“m˜anš¸ãy“t˜yp#eGs“tÜro“t•Uh˜e“sam˜e“laÀtŸÿt˜iñÆce,“monomorphi#saÀt˜ion“on“t•Uh˜e“bas•#i“sŽ¡‘,of–UUlaÀtšŸÿt¸ãiñÆceGs“ca˜us1ÇešGs“ev¸ãen“le˜sqs“expans#ion.Ž¦‘;
More–qs1Çeš
«r*«ious“i#s,“once“again,“t•Uh¸ãe“in±ÇtµUe˜ractš¸ãion“of“monomorphi#saÀt˜ion“wit•Uh“moGd-Ž¡‘,ulešGs.–^RF‘ÿ*ªor“a“mo˜d¸ãule“ÁM‘^O²exp˜ort¸ãinÜrg“a“p˜oãŽlymorphiñÆc“fuÜrnctš¸ãion“Áf²,“w˜e“can“eGit•Uh˜e
«r“anÃŽalys1ÇeŽ¡‘,Áf–îɲaÀt“all“t•Uhš¸ãe“inst˜ancešGs“it“will“get“us1Çe˜d“aÀt,“or“wš¸ãe“can“w˜ait“uÜrn±Çt˜il“all“mo•Gd˜ule“s‘îÉa˜b“o˜v˜e‘îÉÁMŽ¡‘,²are–¼³compileGd“anš¸ãd“reqanÃŽalys1Çe“Áf“²on“an“as-n˜ee•GdÕTe“d›¼³bas•#i“s.˜Bot•Uh˜sõTc•¸ãh“em“eGs˜are˜uÜrnÃŽaÀtŸÿtract-Ž¡‘,iv•¸ãe,›æÏt•Uh“e˜r•s“t˜b#ecaŸÿus1Çe˜it˜requireGs˜a˜do•¸ãwn“w“ard˜(ÁMain˜²tÜro˜ÁPrelude²)˜pasqs˜t••Uhrough˜t“h¸ãeŽ¡‘,mošGd¸ãule–ìggraph“tÜro“e˜sšt•¸ãa“bãŽli#sh‘ìgins˜t“an±Çt“iaÀt“ions,›ìgt•Uh“e˜s1Çecon“d˜b#ecaŸÿus1Çe˜of˜t•Uh“e˜n“eeGd˜tÜro˜carryŽ¡‘,arouÜrnš¸ãd–UUÁf²'s“source“tµUext“wh˜en“compilinÜrg“mo•Gd˜ule“s‘UUa˜b“o˜v˜e‘UUÁM².Ž¦‘;
P¸ãoãŽlymorphiñÆc›\ÓanÃŽalys•#i“s˜circuÜrm•¸ãv“en±Çtàs˜bGot•Uh˜probãŽlems˜b•#ecaŸÿus1Çe˜a˜s“inÜrgle˜anÃŽalys“i“sŽ¡‘,s1Çeš
«rv¸ãeGs–È[all“que˜rš*«ieGs,“ev¸ãen“t•UhÃŽoqs1Çe“f˜rom“die
«ren±Çt“mo•Gdš¸ãule“s.–È[W‘ÿ*ªoràk“b˜y“Baraki,“Hugh˜eGsŽ¡‘,an•¸ãd›mLaŸÿuÜrnc“h“bury‘[Bar93Ž‘,˜HL92bŽ‘!»X]˜(tÜro˜m“en±Çt“ion˜buÜrt˜a˜few)˜h“as˜ešGst“a“bãŽli#sh“e˜d‘mtµUec“h-Ž¡‘,niquešGs–0#for“b˜ot•Uh“forwš¸ãard“an˜d“bac˜kw˜ard“pGoãŽlymorphišñÆc“str*«i˜ctn¸ãešGsqs“anÃŽalys1Çe˜s.“Bac¸ãk-Ž¡‘,wš¸ãard–¯%anÃŽalys1ÇeGs“len˜d“t•Uh˜ems1Çelv˜eGs“part˜iñÆcularly“w˜ell“tÜro“su˜c˜h“an“ap˜proac˜h:“Sect˜ion“5Ž¡‘,of‘[Sew94Ž‘8ç]›ËdÕTe•GsõTcr*«ib#e“s˜su•¸ãc“h˜an˜anÃŽalys•#i“s˜in˜cons“id•ÕTe
«ra¸ãbãŽle˜d“et•¸ãail.˜Baraki's˜w“oràk˜in“diñÆc-Ž¡‘,aÀtµUeGs–ÕþhÃŽoš¸ãw“som˜e“forw˜ard“anšÃŽalys1ÇeGs“m˜ay“b#e“m˜adÕTe“pGoãŽlymorphiñÆc:‘[Sew94Ž‘8ç],“Sect¸ãion“3Ž¡‘,dÕTe•GsõTcr*«ib#e“s–UUan“impãŽlem•¸ãen±Çt“aÀt“ion.Ž¦‘;
F‘ÿ*ªor›œdr•s“t˜ordÕTe
«r˜fuÜrnct•¸ãions,˜pGoãŽlymorphiñÆc˜tµUec“hniqueGs˜giv“e˜t•Uh“e˜sam“e˜reGsulÜrtàs˜asŽ¡‘,monomorphiñÆc›82anÃŽalys•#i“s:˜t••Uh¸ãey˜are˜exact.˜BuÜrt˜in˜t“h•¸ãe˜high“e•
«r˜ordÕTe“r˜cas1Çe,˜accuracyŽ¡‘,mšÃŽay–äÍb#e“loqst.“F‘ÿ*ªor“bac•¸ãkw“ard–äÍan˜alys1ÇeGs,“whiñÆcš¸ãh“are“inh˜eš
«ren±Çt•Uly“r•s“t-ordÕTe˜r,–äÍt•Uhi#s“mÃŽayŽ¡‘,b#e›Çaccept•¸ãa“bãŽle.˜F‘ÿ*ªor˜ot•Uh“e
«r˜anÃŽalys1ÇeGs,˜t•Uh“e˜mÃŽagnit“udÕTe˜of˜t•Uhi#s˜probãŽlem˜h“as˜y“et˜tÜro˜b#eŽ¡‘,quan±Çt¸ãieGd.ŽŸ!Ý<‘,»2.4‘üHigh®9ešDr–ÕTor“r•-s“t‘ÕTordÎîe˜r?ŽŸÝ<‘,²High¸ãe•
«r›½ordÕTe“r˜xpGoin±Çt¸ãin•Ürg˜i#s˜dicul“t˜b#eca•Ÿÿus1Çe˜t•Uh¸ãe˜laÀt“t•¸ãiñÆce˜s#izeGs˜for˜fuÜrnct“ion˜spaceGsŽ¡‘,gro¸ãw–8ãso“rapidly›ÿ*ª.“F˜or“exampãŽle,“in“str*«iñÆctnš¸ãeGsqs“anÃŽalys•#i“s,–8ãan“itµUem“of“t˜yp#e“Á[Int]–?ý->“[Int]Ž¡‘,²migh•¸ãt›†±a“bqstract˜tÜro˜domÃŽain˜[»4–\¸!“»4²],˜whiñÆc•¸ãh˜h“as˜35˜pGoin±Çtàs.˜AddinÜrg˜a˜s1Çecon“d˜para-Ž¡‘,mš¸ãetµUe
«r–o«of“t•Uh˜e“sam˜e“t˜yp#e“giv˜ešGs“domÃŽain“[»4–Ǹ!“»4“¸!“»4²],–o«wit•Uh“24,696“p˜oin±Çtàs,“an“increqas1ÇeŽ¡‘,of›¾Úo•¸ãv“e
«r˜700˜t“im“eGs.˜Th“e˜n•UuÜrm‘ÿ|qb#e
«r˜of˜pGoin±Çtàs˜in˜[»4–võ¸!“»4“¸!“»4“¸!“»4²]˜i#s˜ce
«rt•¸ãainly˜v“e
«ryŽŽŽŒ‹|	 gÌ\ ý¯3¤ 2Ì\ ýäܚ‘R²large.–ÂoManš¸ãy“fuÜrnct˜ionÃŽal“param˜etµUe
«rs“h˜a˜v˜e“t˜yp#ešGs“more“compãŽliñÆcaÀtµUe˜d“tš•Uh¸ãan“t˜hi#s,“an¸ãdŽ¤‘RcalculaÀtš¸ãinÜrg–UUcompãŽletµUe“xpGoin±Çtàs“in“t•Uh˜ešGir“pre˜s1Çence“i#s“impract¸ãiñÆcal.Ž¡‘a
FixpGoin±Çt•¸ãinÜrg›øÖb“y˜tµUe
«rm˜rewr*«it“inÜrg˜som“et“im“eGs˜f#ails˜in˜t•Uh“e˜preGs1Çence˜of˜fuÜrnct“ionÃŽalŽ¡‘Rparamš¸ãetµUe
«rs.–¥ In“t•Uh˜e“gen˜e
«ral“cas1Çe,“high˜eš
«r“ordÕTe˜r“equaÀtš¸ãions“cannot“b#e“soãŽlv˜eGd,“b#ecaŸÿus1ÇeŽ¡‘Rt•Uh¸ãe•Gir›æxp“oin±Çtàs˜dÕTep#en•¸ãd˜on˜t•Uh“e˜xpGoin±Çtàs˜of˜t•Uh“e˜fuÜrnct“ionÃŽal˜param“etµUe
«rs.˜Th“e˜usualŽ¡‘Rmš¸ãet•UhÃŽoGd–՛of“rewr*«it˜inÜrg“adjacen±Çt“ap˜pro˜ximÃŽaÀt˜ions“tšÜro“normÃŽal“form“f#ails“t˜o“dÕTetµUect“anŽ¡‘Ro•¸ãv“e
«rall–`xpGoin±Çt“b#ecaŸÿusš1Çe“su•Ubqs˜equenš±Çt“ap•¸ãpro“ximÃŽaÀt“ions‘`con˜t“ain›`som“e˜tµUe
«rm˜in“v“oãŽlvinÜrgŽ¡‘Ra–töfuÜrnctš¸ãionÃŽal“param˜etµUe
«r“ap˜pãŽlieGd“more“an˜d“more“t˜im˜ešGs.“Thi#s“o˜ccurs,“for“exampãŽle,Ž¡‘Rin–UUxpGoin±Çtš¸ãinÜrg“forw˜ards“a˜bqstract˜ions“of“Áfoldr²:Ž©Hٍ‘a¿÷Áfoldr#(n)›¿÷=–?ý\f“a“xs“->“...“f“(f‘ÿô...“(f“E)“...˜)“...Ž¡¡‘a¿÷foldr#(n+1)–?ý=“\f“a“xs“->“...“f“(f“(f“...“(f“E)“...“)“)“...Ž¦‘R²whš¸ãe
«re–ÁE‘ë²i#s“som˜e“arbitrary“tµUe
«rm,“an˜d“Áfoldr#(n)“²an˜d“Áfoldr#(n+1)“²dÕTenotµUe“t˜w˜oŽ¡‘Radjacen±Çt›1ºap•¸ãpro“ximÃŽaÀt“ions˜tÜro˜t•Uh“e˜xpGoin±Çt.˜He
«re,˜Áf˜²i#s˜a˜fuÜrnct“ionÃŽal˜param“etµUe
«r˜b#eGinÜrgŽ¡‘Rwrapš¸ãp#eGd–£‚more“an˜d“more“t˜im˜eGs“arouÜrn˜d“ÁE²,“t•Uh˜e
«reÕTb˜y“mÃŽakinÜrg“syn±Çt˜act˜iñÆc“dÕTetµUect˜ion“ofŽ¡‘Ra–ÅúxpšGoin±Çt“imp˜o•qs“s#ibãŽle.–ÅúOf“cours1Çe,“if“t•Uh¸ãe“tšµUe
«rm“rewr*«it˜e
«r“i#s“extremš¸ãely“clev˜e
«r“it“canŽ¡‘RdÕTetµUect–¦#t•Uhš¸ãaÀt,“for“som˜e“suit˜a˜bšãŽly“large“µn²,“ÁfŽ‘æ Ÿü\p´nŽ‘¥b²=‘MÄÄxŽ‘¡ÁfŽ‘Rž²,“so“it“can“rep˜lace“ÁfŽ‘3ä²(ÄxŽ‘ÄÝÁfŽ‘Ú²)“b¸ãyŽ¡‘RÄxŽ‘`>1ÁfŽ‘h«à²an•¸ãd›-²t•Uh“e
«reÕTb“y˜gen“e
«raÀtµUe˜normÃŽal˜forms˜whiñÆc“h˜dÕTep#en“d˜expãŽliñÆcit•Uly˜on˜Áf²'s˜xpGoin±Çt.Ž¡‘RTh¸ãe–‘prequireGd“pašÀtŸÿtµUe
«r#n“mÃŽa˜t•¸ãc“hinÜrg–‘piš#s“tr*«iñÆc¸ãky“{“not“so“s˜impšãŽle“for“dou•Ub˜ly“recurs#iv¸ãeŽ¡‘RtµUe
«rms–Ø_{“anš¸ãd“w˜e“n˜eeGd“tÜro“d•ÕTecid“e–Ø_on“a“suit˜a˜bãŽle“µn².“Th˜e“v‘ÿqÇalue“of“µn“²dÕTep#en˜ds“on“t•Uh˜eŽ¡‘RfuÜrnctš¸ãion–Ü­space“in“queGst˜ion“{“cleqarly‘ÿ*ª,“w˜e“n˜eeGd“a“quiñÆc˜k“algor*«it•Uhm“for“givinÜrg“aŽ¡‘Rgo•Go“d›‚‰o•¸ãv“e
«reGst“imÃŽaÀtµUe˜of˜t•Uh“e˜fuÜrnct“ion˜space's˜h“eGigh“t.˜Nielson˜an“d˜Nielson˜lošGok“e˜d‘‚‰aÀtŽ¡‘Rtš•Uhi#s–žüprobãŽlem‘[NN92Ž‘],“buÜrt“t˜hš¸ãeGir“w˜oràk“can“giv˜e“exceGsqs#iv˜ely“large“e•Gst˜imÃŽaÀtµUe“s–žüan˜d“i#sŽ¡‘Rof–Æ[limitµUeGd“ap•¸ãpãŽliñÆca“bilit“y‘ÿ*ª.–Æ[A‘Æ>more“fu•Ürnš¸ãd“am˜en±Çt˜al–Æ[probšãŽlem“i#s“pGo˜lymorphi#sm:“in“t•Uh¸ãaÀtŽ¡‘Rcas1Çe,–ã¾µn“²v‘ÿqÇar*«ieGs“witš•Uh“t˜hš¸ãe“inst˜an±Çt˜iaÀt˜ion,“so“t•Uh˜e“not˜ion“of“compu•Ürt˜in“g–ã¾a“s#inÜrgle“v‘ÿqÇalueŽ¡‘Rfor–UUit“i#s“nons•1Çens“e.Ž¡‘a
Nev•¸ãeš
«rt•Uh“eleGsqs,–Æfor“high¸ãe˜r“ordÕTe˜r“equaÀtš¸ãions“whiñÆc˜h“do“not“dÕTep#en˜d“on“t•Uh˜e“xpGoin±ÇtàsŽ¡‘Rof–˜1t•Uhš¸ãeGir“fuÜrnct˜ionÃŽal“param˜etšµUe
«rs,“t˜e
«rm“bas1ÇešGd“xp˜oin±Çtš¸ãinÜrg“w˜oràks“w˜ell“an˜d“can“b#eŽ¡‘Rt•UhÃŽousanš¸ãds–äof“t˜im˜eGs“c˜h˜eqap#e
«r“t•Uh˜an“us#inÜrg“f*«ron±Çt˜ie
«rs.“Su˜c˜h“equaÀt˜ions“can“b#e“gen˜e
«raÀtµUeGd,Ž¡‘Rfor–՞exampãŽle,“f*«rom“t•Uhš¸ãe“forw˜ards“a˜bqstract˜ions“of“Ámap“²an˜d“Áfilter“²([Sew94Ž‘8ç],“Sect˜ionŽ¡‘R4.3.5).ŽŸHٍ‘R»In–ÄëdšÎîefence“of“r•-s“t–Äëord˜eDr“anº}alys•(äi“s‘²Thi•#s›%«pap“e•
«r˜argueGs˜against˜high¸ãe“r˜ordÕTe“rŽ¡‘RanÃŽalys1ÇešGs.–^ÅWh¸ãen“mo˜d¸ãule˜s“are“also“t•¸ãak“en–^Åin±ÇtšÜro“accou˜n±Çt,“tš•Uh¸ãe“n˜uÜrm‘ÿ|qbš#e
«r“of“dÕTeGs˜ign“con-Ž¡‘Rstrainš±Çtàs–ó§b#ecom¸ãeGs“in˜tÜro•ãŽle
«raš¸ãb“le.–ó§Can“su˜c˜h“a“sštµUep“b#e“jus˜tš¸ãieGd?“W‘ÿ*ªell,“t˜ak˜en“in“a“widÕTe
«rŽ¡‘Rcon±ÇtµUext,–9:mÃŽayb#e.“High¸ãeš
«r“ordÕTe˜r“fuÜrnct¸ãions“dÕTefeqaÀt“adv‘ÿqÇancešGd“co˜dÕTe“gen•¸ãe
«raÀt“ion‘9:tµUec“h-Ž¡‘RniqueGs,–Zlikš¸ãe“ar*«it˜y“c˜h˜ec˜k“a˜v˜oidšÜrance,“u˜n‘ÿ|qbGo¸ãxin˜g“an¸ãd“argu˜m¸ãen±Çtàs“in“regiš#s•tµUe
«r“s,‘Zs˜inceŽ¡‘Rt•Uh¸ãey–®™repreGs1Çen±Çt“calls“tšÜro“compãŽletµUely“u˜nkno¸ãwn“fu˜nct¸ãions.“A–ÿqÇugustàsqson‘[A“ug93Ž‘€]‘®™sug-Ž¡‘RgeGstàs–>—t•Uhš¸ãaÀt“callinÜrg“a“kno˜wn“fuÜrnct˜ion“coqstàs“h˜alf“as“m•Uu˜c˜h“as“callinšÜrg“an“u˜nkno¸ãwnŽ¡‘Ron¸ãe.Ž¡‘a
Th•¸ãe›ô(Hask“ell)˜compile
«r˜comm•UuÜrnit“y˜go˜tÜro˜cons#idÕTe
«ra“b•ãŽle˜trou•Ub“le˜tÜro˜get˜r*«id˜ofŽ¡‘Rcalls–UUtÜro“high¸ãeš
«r“ordÕTe˜r“fuÜrnct¸ãions.“F‘ÿ*ªor“exampãŽle:Ž¦‘X@»{ŽŽŽ‘c²SimpãŽle–›non-recuršs#iv¸ãe“com‘ÿ|qbinÃŽaÀtÜror˜s“likš¸ãe“Á(.)“²an˜d“ÁthenS‘šÑ²are“inlin˜eGd“(in“Glasgo˜wŽ¡‘cHask¸ãell).ŽŽŽŒ‹	‘À gÌ\ ý¯3¤ 2Ì\ ýäܚ‘2@»{ŽŽŽ‘=²PreludÕTe–uDfuÜrnctš¸ãions“whiñÆc˜h“pasqs“fuÜrnct˜ionÃŽal“param˜etµUe
«rs“alonšÜrg“u˜nc•¸ãh“an˜geGd,‘uDlik“eŽ¤‘=Ámap–UU²an¸ãd“Áfoldr²,“are“ušÜrnfoãŽldÕTeGd“t˜o“form“sp•#eciali“s1ÇeGd›UUv¸ãe
«rs“ions˜(in˜Y‘ÿ*ªale˜Hask¸ãell).Ž©
E‘2@»{ŽŽŽ‘=²Ov•¸ãe
«rloadÕTeGd›üefuÜrnct“ions˜are˜sp•#eciali“s1Çe•Gd˜aÀt˜t•Uh¸ãe“ir˜us1Çe˜inst¸ãance“s,˜aÀt˜leqast˜wit•UhinŽ¡‘=s#inÜrgle›ÚÈmo•Gd¸ãule“s˜(Glasgo•¸ãw˜an“d˜Ch“alm“e
«rs).˜Thi#s˜a“v“oids˜a˜gre•qaÀt˜dÕTe“al˜of˜t•Uh¸ãeŽ¡‘=high¸ãe•
«r›uGordÕTe“r˜mÃŽac•¸ãhin“e
«ry˜whiñÆc“h˜i#s˜oft•µUen˜asqsošGciaÀt“e˜d–uGwit•Uh“impãŽlem•¸ãen±Çt“aÀt“ions‘uGofŽ¡‘=o•¸ãv“e
«rloadinÜrg.ŽŸύ‘,Nelan‘[Nel91Ž‘¸ç]›ìødÕTe•GsõTcr*«ib#e“s˜aÀt˜som•¸ãe˜lenÜrgt•Uh˜tµUec“hniqueGs˜for˜wh“aÀt˜h“e˜tµUe
«rm“eGd˜Ärstic-Ž¡‘,ation²:–ælt•Uhš¸ãe“aŸÿu•Ürt“omÃŽaÀt˜iñÆc–ælremo˜v‘ÿqÇal“of“high˜eš
«r“ordÕTe˜r“fušÜrnct¸ãions.“Al˜t•UhÃŽough“con•¸ãv“e
«rs#ion‘ælofŽ¡‘,high¸ãe•
«r-ordšÕTe“r–iprograms“tÜro“r•s“t-ord˜eš
«r–ii#s,“in“gen¸ãe˜ral,“impGo•qs“s#ibãŽle,–iprogramm¸ãe˜rs,“b¸ãyŽ¡‘,anš¸ãd–83large,“us1Çe“high˜e•
«r-ordÕTe“r#n˜eGsqs–83in“ce
«rt˜ain“idiomÃŽaÀt˜iñÆc“w˜ays“whiñÆc˜h“Äar‘ÿ}'e“²am˜enÃŽa˜bãŽle“tÜroŽ¡‘,r•s“t•¸ãicaÀt“ion–ýDusš#inÜrg“Nelan's“mÃŽac•¸ãhin“e
«ry‘ÿ*ª.–ýDThi˜s“mÃŽac•¸ãhin“e
«ry‘ÿ*ª,›ýDcom‘ÿ|qbin“e•Gd˜wit•Uh˜aggre“sqs#iv¸ãeŽ¡‘,inlininÜrg,–´‘can“b#e“remÃŽaràkñÆaš¸ãbãŽly“eect˜iv˜e.“Ev˜en“wit•UhÃŽoušÜrt“us#in˜g“r•s“t•¸ãicaÀt“ion,›´‘m•Uu“c“h˜ofŽ¡‘,t•Uh•¸ãe›UUo“pt“imi#s1Çe•Gd˜co“d•ÕTe˜d“eqalÜrt˜wit•Uh˜ins#id“e˜Glasgo•¸ãw˜Hask“ell˜i#s˜purely˜r•s“t˜ordÕTe
«r.Ž¦‘;
F‘ÿ*ªrom–ÐAa“str*«iñÆctn¸ãešGsqs“anÃŽalys•#i“s–ÐAp˜oin±Çt“of“view,“r•s“t–ÐAordÕTe
«r“anÃŽalys•#i“s–ÐAhš¸ãas“t˜w˜o“mÃŽa‘Ž8jorŽ¡‘,adv‘ÿqÇan±Çt¸ãageGs:ŽŸ‘2@»{ŽŽŽ‘=²FixpGoin±Çt¸ãinÜrg–¸Ôiš#s“eqas˜ie
«r.“Thš¸ãe“f*«ron±Çt˜ie
«rs“algor*«it•Uhm“ruÜrns“reqasonÃŽa˜bãŽly“quiñÆc˜kly“forŽ¡‘=r•s“t–ñRordÕTe
«r“exampãŽleGs‘([Sew94Ž‘8ç],“Sectš¸ãion“3),“an˜d“tšµUe
«rm“rewr*«it˜e“bas1ÇešGd“xp˜oin±Çt¸ãinÜrgŽ¡‘=i#s–îáguaran±ÇtµUeeGd“tšÜro“w¸ãoràk.“Compu˜t¸ãin˜g“compãŽletµUe“fu˜nct¸ãion“graphs“do#ešGs“not“lo˜okŽ¡‘=quitµUe–Êso“bad“in“t•Uhš¸ãe“r•s“t–ÊordÕTe
«r“cas1Çe,“an˜d“doinÜrg“so“mÃŽak˜ešGs“mo˜d¸ãule˜s“eqas#ie
«r“tÜroŽ¡‘=dÕTeqal‘UUwit•Uh.Ž¦‘2@»{ŽŽŽ‘=²P•¸ãoãŽlymorphiñÆc›6Ègen“e
«rali#saÀt“ion˜giv“e•Gs˜exact˜re“sulÜrtàs.˜MonomorphiñÆc˜anÃŽalys•#i“s˜an¸ãdŽ¡‘=itàs–UUaÀtŸÿtµUenš¸ãdÜran±Çt“mo•Gd˜ule-relaÀtµUe“d–UUprobãŽlems“can“b#e“a˜v˜oidÕTeGd“en±Çt˜irely‘ÿ*ª.ŽŸ%Š¿‘,Ó3‘
€Th• e›€Defr9™iv“e•`d˜De“s0ignŽŸ$Y‘,»3.1‘üOv®9eDrviewŽŸ$Y‘,²Cons#idšÕTe
«r*«inÜrg–Ÿ—t•Uh¸ãe“d˜ešGs#ign“constrain±Çtàs,“it“lo˜oks“lik¸ãe“a“r•s“t-ordÕTe
«r,–Ÿ—p˜oãŽlymorphiñÆc“anÃŽa-Ž¡‘,lys•#i“s›ïcompu•Ürt¸ãin“g˜compãŽletµUe˜xe•Gd˜p“oin±Çtàs˜migh¸ãt˜form˜a˜p•ãŽlaŸÿus#ib“le˜bas•#i“s˜for˜a˜w¸ãoràkinÜrgŽ¡‘,systµUem,–çkso“t•Uhiš#s“i˜s“whš¸ãaÀt“h˜as“b#een“constru˜ctšµUeGd.“A‘ÿqÇbqstract“in±Çt˜e
«rpret•¸ãaÀt“ion‘çkprošGd“u“ce˜sŽ¡‘,tµUe
«rms–­âin“wh¸ãaÀt“can“bš#e“cons˜idÕTe
«reGd“tÜro“b˜e“an“aš¸ãbqstract“lam‘ÿ|qbGdÜra-calculus,“an˜d“xpGoin±Çt-Ž¡‘,inÜrg–õHi#s“don¸ãe“wit•Uh“a“t•µUe
«rm-rewr*«it“e›õHsyst“em˜whiñÆc•¸ãh˜transforms˜s1ÇemÃŽan±Çt“iñÆcally˜equiv‘ÿqÇalen±ÇtŽ¡‘,tµUe
«rms–UUtÜro“synš±Çt•¸ãact“iñÆcally‘UUidÕTen˜t“iñÆcal–UUnormÃŽal“forms.Ž¦‘;
Thš¸ãe–XŒanÃŽalys1Çe
«r“forms“part“of“t•Uh˜e“Glasgo˜w“Hask˜ell“compile
«r,“an˜d“o˜p#e
«raÀtµUeGs“on“aŽ¡‘,dÕTe•Gsugare“d–´£Hask¸ãell“form“lošGoqs1Çely“refe
«rre˜d“tÜro“as“Core.“Core“allo¸ãws“lam‘ÿ|qb˜dÜra“tµUe
«rms,Ž¡‘,ap•¸ãpãŽliñÆcaÀt“ions,–íalitµUe
«rals,“loGcal“binš¸ãdinÜrgs,“on˜e-lev˜el“pašÀtŸÿtµUe
«r#n“mÃŽa˜t•¸ãc“hinÜrg–ía(Ácase²s)“an¸ãd“con-Ž¡‘,stru•¸ãctÜror›¬Òap“pãŽliñÆcaÀt“ions.˜T“yp#e˜informÃŽaÀt“ion˜sup“pãŽlieGd˜b“y˜previous˜compile
«r˜ph“as1ÇeGsŽ¡‘,m•¸ãeqans›ft•Uh“e˜t“yp#e˜(an“d˜h“ence˜t•Uh“e˜a“b•qstract˜domÃŽain)˜as“so•GciaÀtµUe“d˜wit••Uh˜ev¸ãe
«ry˜su“b#ex-Ž¡‘,preGsqs•#ion›(\i“s˜kno•¸ãwn.˜Th“e˜Core˜tree˜i#s˜annot“aÀtµUeGd˜wit••Uh˜t“h•¸ãe˜str*«iñÆctn“eGsqs˜informÃŽaÀt“ionŽ¡‘,compu•ÜrtµUeGd,›Á^mÃŽakin“g˜it˜a•¸ãv‘ÿqÇaila“bãŽle˜tÜro˜su•Ubqs1Çequen±Çt˜transformÃŽaÀt“ion˜pasqs1ÇeGs,˜an“d˜tÜro˜t•Uh“eŽ¡‘,in•±ÇtµUeš
«rf#ace-pr*«in“t•¸ãinÜrg‘bmÃŽac“hin“e˜ry‘ÿ*ª,–bso“ot•Uh¸ãe˜r“mo•Gdš¸ãule“s–bcan“kno˜w“a˜bGouÜrt“t•Uh˜e“str*«iñÆctn˜eGsqs“ofŽ¡‘,fuÜrnctš¸ãions–UUin“t•Uhi#s“on˜e.ŽŽŽŒ‹
¦b gÌ\ ý¯3¤ 2Ì\ ýäܚ‘R»3.2‘üTh•®9e›ÕTa“b µs-tract˜in¦tª"eDrpret“a¶ft“ionŽŸ‘³‘R²A‘ÿqÇbqstract›’)in±ÇtµUe
«rpret•¸ãaÀt“ions˜for˜str*«iñÆctn“eGsqs˜anÃŽalys•#i“s˜h•¸ãa“v“e˜hi•#stÜror*«iñÆcally˜b“een˜caÀtµUegor-Ž¤‘Ri#s1ÇeGd–Bas“forwš¸ãard“or“bac˜kw˜ard‘[Hug90Ž‘>],“alÜrtš•UhÃŽough“t˜hš¸ãe“ap˜p#eqarance“of“relaÀt˜ionšÃŽal“an˜a-Ž¡‘Rlys1ÇeGs–û˜i#s“noš¸ãw“bãŽlurr*«inÜrg“t•Uh˜aÀt“di#st˜inct˜ion.“Bac˜kw˜ard“anÃŽalys1ÇeGs“gen˜e
«rašÀtµUe“informÃŽa˜t¸ãionŽ¡‘Raš¸ãbGou•Ürt‘Þáfu“nct˜ion‘Þáargu“m˜en±Çtàs–Þágiv˜en“kno˜wleGdge“of“som˜e“pro˜p#e
«rt˜y“of“t•Uh˜e“ap˜pãŽliñÆcaÀt˜ionŽ¡‘Ras–ޛa“whÃŽošãŽle.“F‘ÿ*ªor“examp˜le,“bac•¸ãkw“ard›ޛstr*«iñÆctn“eGsqs˜anÃŽalys•#i“s˜of˜an˜µn²-argu•Ürm¸ãen±Çt˜fu“nct¸ãionŽ¡‘RprošGd•¸ãu“ce˜s–H3µn“²mÃŽapšqs,“on¸ãe“for“e˜acš¸ãh“arguÜrm˜en±Çt,“mÃŽap˜pinÜrg“dÕTemÃŽan˜d“on“an“ap˜pãŽliñÆcaÀt˜ion“tÜroŽ¡‘RdÕTemÃŽanš¸ãd–ñ»on“eqac˜h“arguÜrm˜en±Çt.“As“tš•Uhi#s“impãŽlieGs,“t˜hš¸ãe“fu•Ürn˜d“am˜en±Çt˜al–ñ»a˜bqstract“en±Çt˜it˜ieGs“areŽ¡‘RpšGoin±Çtàs–˜in“laÀtŸÿt¸ãiñÆce˜s,“wh¸ãeš
«re“die˜renš±Çt“pGoin˜tàs“dÕTenotµUe“die
«ren˜t“dÕTemÃŽanš¸ãds“or“\n˜ee•GdÕTe“d-Ž¡‘Rnš¸ãeGsqs"–’for“som˜e“dÜraÀt˜a“stru˜ct˜ure.“It“i#s“usual“tÜro“(aÀt“leqast“pGotµUen±Çt˜ially)“allo˜w“eqac˜hŽ¡‘Rdie
«ren±Çt–*çconcretµUe“tš¸ãyp#e“tÜro“h˜a˜v˜e“itàs“o˜wn“laÀtŸÿt˜iñÆce“of“a˜bqstract“dÕTemÃŽan˜ds,“in“ordÕTe
«r“t•Uh˜aÀtŽ¡‘Rwš¸ãe–UUcan“do“dÕTet˜ailešGd“anÃŽalys1Çe˜s“wit•Uh“dÜraÀtš¸ãa“stru˜ct˜ureGs.Ž©PW‘a
AlÜrt••UhÃŽough›­Ût“h¸ãe˜r•s“t˜s“tr*«iñÆctn¸ãe•Gsqs˜anÃŽalys1Çe“s˜w•¸ãe
«re˜of˜t•Uh“e˜forw“ards˜t“yp#e,˜laÀtµUe
«r˜dÕTe-Ž¡‘Rv•¸ãelo“pm“en±Çt›{Tsugge•GstµUe“d˜bac•¸ãkw“ards˜anÃŽalys•#i“s˜migh¸ãt˜b“e˜quiñÆc•¸ãk“e
«r˜an“d˜giv“e˜a˜s#impãŽle
«rŽ¡‘RtreqaÀt•¸ãm“en±Çt–$7of“pGoãŽlymorphi#sm,“anš¸ãd“pract˜iñÆcal“w˜oràk“s1Çeems“tÜro“bš#eqar“t•Uhi˜s“ouÜrt‘([Sew94Ž‘8ç],Ž¡‘RSectš¸ãion–íâ5).“Th˜e“few“pap#e
«rs“shÃŽo˜winÜrg“hÃŽo˜w“str*«iñÆctn˜eGsqs“informÃŽaÀt˜ion“can“b#e“us1ÇeGd“tÜroŽ¡‘Rgen¸ãeš
«raÀt•µUe‘c&b#etŸÿt“e˜r–c&cošGdÕTe‘[PJ93Ž‘ñË,“Hal93Ž‘ªG]“all“e˜it•Uh¸ãe
«r“sugge˜st“or“impãŽly“t•Uhš¸ãaÀt“bac˜kw˜ardsŽ¡‘RinformÃŽaÀtš¸ãion–F.i#s“wh˜aÀt“i#s“act˜ually“us1Çeful.“T‘ÿ*ªak˜en“tÜroget•Uh˜e
«r,“t•Uh˜e“cas1Çe“for“buildinÜrg“aŽ¡‘Rbac•¸ãkw“ards›UUa“bqstract˜in±ÇtµUe
«rpret“aÀt“ion˜s1Çeems˜o“v“e
«rwh“elminÜrg.Ž¦‘a
Space›äblimit•¸ãaÀt“ions˜precludÕTe˜m•Uu“c“h˜di•#sõTcusqs“ion˜of˜t•Uh•¸ãe˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ion.Ž¡‘RSuce–¾±it“tÜro“say“t•Uh¸ãaÀt“it“iš#s“f˜airly“con•¸ãv“en±Çt“ionÃŽal:›¾±t•Uh“e˜o“v“e
«rall˜stru“ct“ure˜i•#s˜s“imilar˜tÜroŽ¡‘Rt•Uh¸ãaÀt›—pre•Gs1Çen±ÇtµUe“d˜b•¸ãy˜John˜Hugh“eGs˜in‘[Hug90Ž‘>],˜alÜrt••UhÃŽough˜t“h•¸ãe˜m“ec“h“ani#sm˜for˜dÕTeqalinÜrgŽ¡‘Rwit•Uh–¸ØdÜraÀtš¸ãa“stru˜ct˜ureGs,“cons•tru˜ctÜror“s–¸Øan˜d“cas1Çe“tµUeš
«rms“i#s“die˜ren±Çt.“As“wit•Uh“an¸ãy“purelyŽ¡‘Rbac•¸ãkw“ard›¬
anÃŽalys•#i“s,˜high¸ãe•
«r-ordÕTe“r˜anÃŽalys•#i“s˜i“s˜impGo•qs“s#ibãŽle,˜so˜w•¸ãe˜nÃŽaiv“ely˜asqsuÜrm“e˜t•Uh“aÀtŽ¡‘Rall–UUušÜrnkno¸ãwn“fu˜nctš¸ãions“do“not“dÕTemÃŽan˜d“t•Uh˜eGir“arguÜrm˜en±Çtàs“aÀt“all.Ž¦‘a
Man•¸ãy›pbac“kw“ard˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ions˜go˜tÜro˜a˜gre•qaÀt˜dÕTe“al˜of˜trou•UbãŽle˜tÜro˜moGdÕTelŽ¡‘RdÜraÀt•¸ãa›’ƒstru“ct“ureGs˜w“ell,˜t•Uh“e
«reÕTb“y˜in“d“u“cinÜrg˜cons#idÕTe
«ra“b•ãŽle˜comp“liñÆcaÀt•¸ãion˜in˜t•Uh“e˜mÃŽac“hin“e
«ryŽ¡‘RwhiñÆcš¸ãh–×dÕTeqals“wit•Uh“dÜraÀt˜a“stru˜ct˜ureGs“{“constru˜ctšÜror“fu˜nctš¸ãions“an˜d“Ácase²s.“F–ÿ*ªort˜uÜrnÃŽaÀtµUely“,Ž¡‘Rt•Uh•¸ãe›YpreGs1Çen±Çt“aÀt“ion˜can˜b•#e˜s“impãŽlieGd˜b•¸ãy˜t•Uh“e˜obqs1Çe
«rv‘ÿqÇaÀt“ion˜t•Uh“aÀt,˜pro“vidÕTeGd˜t•Uh“e˜a“bqstrac-Ž¡‘Rtš¸ãion–»nof“Ácase²s“an˜d“constru˜ctšÜror“fu˜nctš¸ãions“ob#eys“ce
«rt˜ain“constrain±Çtàs,“it“do#eGsn't“mÃŽaÀt-Ž¡‘RtµUe
«r– <ašÀt“all“wh¸ãa˜t“tš•Uh¸ãey“are.“So“t˜hš¸ãe“bac˜kw˜ards“a˜bqstract˜ion“can“bš#e“sp˜ecieGd“wit•UhÃŽouÜrtŽ¡‘Rsayin•Ürg›iDan¸ãyt•Uhin“g˜m•Uu•¸ãc“h˜a“bGou•Ürt˜d“aÀt•¸ãa˜stru“ct“ureGs.˜Su•Ubqs1Çequen±Çt˜param“etµUe
«r*«i#saÀt“ions˜ofŽ¡‘Rit›?ïproGd•¸ãu“ce˜compãŽletµUe,˜w“oràkñÆa“bãŽle˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ions,˜an“d˜die
«ren±Çt˜param“et-Ž¡‘Re
«r*«i#saÀtš¸ãions–„7can“proGd˜u˜ce“in±ÇtµUe
«rpret˜aÀt˜ions“givinÜrg“v˜eš
«ry“die˜ren±Çt“levš¸ãels“of“dÕTet˜ail“forŽ¡‘RdÜraÀt•¸ãa›ºstru“ct“ure•Gs.˜Thi#s˜mo“d•¸ãular˜ap“proac“h˜an“d˜som“e˜param“etµUe
«r*«i#saÀt“ions˜of˜it˜areŽ¡‘RdÕTev•¸ãelo“p#eGd–UUin‘[Sew94Ž‘8ç],“Sectš¸ãion“5;“w˜e“ouÜrt•Ulin˜e“on˜e“su˜c˜h“param˜etµUe
«r*«i#saÀt˜ion“shÃŽort•Uly‘ÿ*ª.Ž¦‘a
An–Ÿ'impGortš¸ãan±Çt“feqaÀt˜ure“of“t•Uh˜e“a˜bqstract˜ion“i#s“t•Uh˜aÀt“suit˜a˜bãŽle“param˜etµUe
«r*«i#saÀt˜ionsŽ¡‘RprošGd•¸ãu“ce–çœp˜oãŽlymorphiñÆcally“in¸ãv‘ÿqÇar*«ianš±Çt“in˜tµUe
«rpret•¸ãaÀt“ions.›çœP“oãŽlymorphiñÆc˜in“v‘ÿqÇar*«iance˜f#acil-Ž¡‘Rit¸ãa•ÀtšµUeGs‘˜Ùs1Çepara“t˜e›˜Ùcompila“t•¸ãion,˜as˜di#sõTcusqs1ÇeGd˜in˜Sect“ion‘2.3,˜an“d˜it˜also˜m“eqans˜t•Uh“e˜s#izeŽ¡‘Rof–Š tµUeš
«rms“gen¸ãe˜raÀtµUeGd“bš¸ãy“(h˜ence,“t•Uh˜e“coqst“of‘Ç)“a˜bqstract“in±ÇtµUe
«rpret˜aÀt˜ion“i#s“not“relaÀtµUeGdŽ¡‘RtÜro–Ã6t•Uhš¸ãe“inst˜an±Çt˜iaÀt˜ion.“Thiš#s“i˜s“in“mšÃŽaràk¸ãeGd“con±Çtrast“tÜro,“for“exampãŽle,“W‘ÿ*ªadle
«r's“or*«igin˜alŽ¡‘Rnon-
a•Àt‘¢*in±ÇtµUe
«rpretš¸ãa“t˜ion‘[W‘ÿ*ªad87Ž‘],–¢*in“whiñÆc˜h“a˜bqstract˜ion“of“Ácase“²expreGsqs#ions“couldŽ¡‘Rgen¸ãeš
«raÀt•µUe‘†kt“e˜rms–†kwhÃŽoqs1Çe“s#izešGs“gro¸ãw“exp˜on•¸ãen±Çt“ially–†kwitš•Uh“t˜h¸ãe“s#ize“of“t˜hš¸ãe“inst˜an±Çt˜iaÀt˜inÜrgŽ¡‘Rt¸ãyp#eGs.Ž¦‘a
Bac•¸ãkw“ards›{str*«iñÆctn“e•Gsqs˜anÃŽalys1Çe“s˜w¸ãoràk,˜in˜a˜s•1Çens“e,˜b•¸ãy˜dÕTetµUect“inÜrg˜f•*«ree˜v‘ÿqÇar“ia¸ãbãŽleGs˜inŽŽŽŒ‹¹ø gÌ\ ý¯3¤ 2Ì\ ýäܚ‘,²expreGsšqs#ions.–õœBecaŸÿus1Çe“mo˜st“v‘ÿqÇar*«iaš¸ãbãŽleGs“do“not“ap˜p#ešqar“f*«ree“in“mo˜st“expreGs˜s#ions,“aŽ¤‘,n•ÃŽaiv¸ãe›Ýâan“alys•#i“s˜will˜tµUen•¸ãd˜tÜro˜gen“e
«raÀtµUe˜mÃŽan“y˜h•Uuge˜tµUe
«rms˜whiñÆc“h˜tr*«ivially˜reGd“u“ce˜tÜroŽ¡‘,¸?²,–h®t•Uhš¸ãe“pGoin±Çt“dÕTenot˜inÜrg“ze
«ro“dÕTemÃŽan˜d.“St˜ill,“gen˜e
«raÀt˜inÜrg“t•Uh˜eGs1Çe“tš•UhinÜrgs,“t˜hš¸ãen“reGd˜u˜cinÜrgŽ¡‘,t•Uh•¸ãem,›Õt“ak“eGs˜eort,˜an“d˜it˜pro“v“eGs˜v‘ÿqÇalua“b•ãŽle˜tÜro˜p“lan±Çt˜ce
«rt•¸ãain˜k“ey˜rewr*«itµUe˜ruleGs˜ins#idÕTeŽ¡‘,t•Uh•¸ãe›aša“bqstract˜in±Çt•µUeš
«rpret“e˜r–ašitàs1Çelf“tÜro“s#idÕTešGstµUep“t•Uh¸ãe“pro˜ce˜sqs“{“a“tr*«ivial“mo˜dicaÀtš¸ãion“tÜro“t•Uh˜eŽ¡‘,co•GdÕTe.›î†Incorp“oraÀt•¸ãinÜrg˜four˜of˜t•Uh“e˜moqst˜pGo“pular˜s#impãŽle˜rewr*«itµUe˜ruleGs˜dramÃŽaÀt“iñÆcallyŽ¡‘,cuÜrtàs–Ât•Uhš¸ãe“s#ize“of“gen˜e
«raÀtšµUeGd“t˜e
«rms“anš¸ãd“so“expan˜ds“t•Uh˜e“ranšÜrge“of“source“fu˜nct¸ãions“forŽ¡‘,whiñÆc•¸ãh›UUa“bqstract˜in±ÇtµUe
«rpret“aÀt“ion˜can˜b#e˜don“e˜in˜reqasonÃŽa“bãŽle˜t“im“e.ŽŸp‘,»Thš®9e–ÖWHe µad-Str1iï¥ct“P˜aram˜etª"eDr1i(äsa¶ft˜ion‘LÛ²Our›nimpãŽlem•¸ãen±Çt“aÀt“ion˜us1Çe•Gs˜a˜p“o•¸ãw“e
«rfulŽ¡‘,param•¸ãetµUe
«r*«iš#saÀt“ion‘½dÕTeGs˜ign“eGd–½tÜro“givš¸ãe“dÕTet˜ailešGd“re˜sulÜrtàs“for“t•Uhš¸ãe“v‘ÿqÇast“mÃŽa‘Ž8jor*«it˜y“of“dÜraÀt˜aŽ¡‘,dÕTeclaraÀtš¸ãions–òËa“Hask˜ell“programm˜e
«r“could“reqasonÃŽa˜bãŽly“us1Çe.“Thiš#s“i˜s“in“con±ÇtrastŽ¡‘,tšÜro–ÎÒt•Uh¸ãe“oft•µUen-limit“eGd–ÎÒran˜ge“of“tš¸ãyp#eGs“whiñÆc˜h“ot•Uh˜e
«r“impãŽlem˜en±Çt˜aÀt˜ions“can“dÕTeqal“wit•Uh,Ž¡‘,som•¸ãet“im“eGs–Díjusšt“li#s˜tàs‘[HH91Ž‘],“som•¸ãet“im“eGs–Día“fulle
«r“ranšÜrge“of“d˜ašÀt¸ãa“dÕTeclara˜tš¸ãions“wh˜e
«reŽ¡‘,construš¸ãct•Üror‘Ìêargu“m˜en±Çtàs–ÌêmÃŽay“b#e“on˜e“of“t•Uh˜e“t˜yp#e“v‘ÿqÇar*«ia˜bãŽleGs,“or“a“recurs#iv˜e“call“tÜro“t•Uh˜eŽ¡‘,t¸ãyp#e,–\	bušÜrt“not•Uhin˜g“els1Çe‘([Sew91Ž‘8ç],“Sectš¸ãion“6).“Th˜e“param˜etµUe
«r*«i#saÀt˜ion“iš#s“dÕTe•Gs˜ign¸ãe“d‘\	tÜroŽ¡‘,dÕTetµUect–¶.hš¸ãeqad“str*«iñÆctn˜eGsqs.“W‘ÿ*ªe“w˜an±ÇtµUeGd“tÜro“mo˜v˜e“aw˜ay“f*«rom“t•Uh˜e“protÜrot˜yp#e“st˜age“an˜dŽ¡‘,creqaÀtµUe–äÍan“anÃŽalys•#i“s–äÍwhiñÆcš¸ãh“(1)“giv˜eGs“us1Çeful“informÃŽaÀt˜ion“for,“eect˜iv˜ely‘ÿ*ª,“an˜y“(non-Ž¡‘,fuÜrnct•¸ãionÃŽally-t“yp#e•Gd)›{—co“dÕTe˜f*«ragm•¸ãen±Çt,˜an“d˜(2)˜gen“e
«ra•ÀtµUeGs˜informÃŽa“t•¸ãion˜tÜro˜sup“pGort˜allŽ¡‘,kno•¸ãwn›[str*«iñÆctn“e•Gsqs-relaÀtµUe“d˜transformÃŽaÀt•¸ãions˜{˜h“ence˜t•Uh“e˜n“eeGd˜for˜h“ešqad-str*«iñÆctn“eGs˜s.Ž¡‘,Thš¸ãe–UreGsulÜrt“i#s“t•Uh˜aÀt“t•Uh˜e“param˜etµUe
«r*«i#saÀt˜ion“i#s“raÀt•Uh˜e
«r“compãŽliñÆcaÀtµUeGd,“so“w˜e“will“try“an˜dŽ¡‘,con•¸ãv“ey›UUt•Uh“e˜eGsqs1Çen±Çt“ial˜idÕTeqas˜wit•Uh˜an˜exampãŽle.ŽŸj‘;
Th•¸ãe›e¶param“etµUe
«r*«i#saÀt“ion˜dÕTe
«r*«iv“eGs˜f*«rom˜Bur#n's˜idÕTeqa˜of˜ev‘ÿqÇaluaÀt“ion˜transform“e
«rs.Ž¡‘,[Sew91Ž‘8ç]–Ipgen¸ãe
«rališ#s1ÇeGd“t•Uhi˜s“tšÜro“w¸ãoràk“for“a“widÕTe
«r“ran˜ge“of“d˜aÀtš¸ãa“t˜yp#eGs,“an˜d‘[Sew94Ž‘8ç]Ž¡‘,furt•Uh•¸ãe
«r›¯extµUen“d•ÕTeGd˜it˜tÜro˜d“etµUect˜h•¸ãešqad-str*«iñÆctn“eGs˜s.–¯Let“us“consš#idÕTe
«r“li˜stàs.“Li˜sštàs“a¸ãbqs˜tractŽ¡‘,tÜro––Æt•Uhree“coãŽllect¸ãions“of“pšGoin±Çtàs:“b˜otŸÿtšÜrom“(ÁB²),“dÕTenot¸ãin˜g“no“ev‘ÿqÇaluaÀtš¸ãion,“t•Uh˜e“s1Çet“ÁW[a]²,Ž¡‘,dÕTenot•¸ãinÜrg›ð7ev‘ÿqÇaluaÀt“ion˜tÜro˜w“eqak˜h“eqad˜normÃŽal˜form,˜an“d˜t•Uh“en,˜if˜a˜cons˜cell˜i#s˜pro-Ž¡‘,d•¸ãu“ceGd,›Î|ev‘ÿqÇaluaÀt“ion˜of˜t•Uh“e˜r•s“t˜elem•¸ãen±Çt˜wit•Uh˜Áa²,˜an“d˜t•Uh“e˜s1Çet˜ÁS[a][b]²,˜dÕTenot“inÜrgŽ¡‘,ev‘ÿqÇaluaÀtš¸ãion–4²of“t•Uh˜e“compãŽletµUe“stru˜ct˜ure“of“t•Uh˜e“li#st,“ev‘ÿqÇaluaÀt˜ion“of“t•Uh˜e“r•s“t‘4²elem˜en±ÇtŽ¡‘,witš•Uh–Áa“²an¸ãd“all“t˜h¸ãe“reGst“wit˜h“Áb².“If“w¸ãe“moGdÕTel“in±ÇtµUege
«rs“wit˜h“t˜hš¸ãe“t˜w˜o“ev‘ÿqÇaluaÀtÜrors“Á0Ž¡‘,²(no-ev›ÿqÇal)–UUan¸ãd“Á1“²(ev˜al),“t•Uhš¸ãe“laÀtŸÿt˜iñÆce“for“Á[Int]“²b#ecom˜eGs:ŽŸY©’Ù?ÁS[1][1]Ž¡’Óÿ /‘$¿ë\Ž¡’¹¿¯S[1][0]‘?ñS[0][1]Ž¡’¾ÿ¬/‘ÿô\‘î/Ž¡’©ÿ¸W[1]‘?ñS[0][0]Ž¡’¾ÿ¬\‘ÿô/Ž¡’Ä?©W[0]Ž¡’ο£|Ž¡’ο£BŽŸC?‘;
²F‘ÿ*ªor–ÛexampãŽle,“ÁW[1]“²i#s“a“h¸ãeqad-str*«iñÆct“ev›ÿqÇaluaÀtÜror,“ev˜aluaÀt¸ãinšÜrg“t˜o“wš¸ãeqak“h˜eqad“normÃŽalŽ¡‘,form,–
]anš¸ãd“t•Uh˜e“h˜eqad“ÁInt“²tÜrošGo,“if“p˜o•qs“s#ibãŽle.–
]ÁS[0][1]“²mš¸ãeqan“ev‘ÿqÇaluaÀtµUe“t•Uh˜e“en±Çt˜ire“li#stŽ¡‘,stru•¸ãct“ure,›u¤an“d˜all˜ÁInt²s˜except˜t•Uh“e˜r•s“t.˜ÁS‘uY²(Stru•¸ãct“ure)˜ev‘ÿqÇaluaÀtÜrors˜mÃŽain±Çt“ain˜t•Uh“eŽ¡‘,h•¸ãešqad/non-h“e˜ad›/©elem“en±Çt˜di#st“inct“ion˜so˜t•Uh“aÀt,˜for˜exampãŽle,˜wh“en˜a˜li•#st˜i“s˜kno¸ãwn˜tÜroŽŽŽŒ‹Òü gÌ\ ý¯3¤ 2Ì\ ýäܚ‘R²b#e›*cd•ÕTemÃŽan¸ãd“e•Gd˜b“ot•Uh˜tÜro˜ÁW[1]˜²an•¸ãd˜ÁS[0][1]²,˜w“e˜kno“w˜w“e˜can˜dÕTemÃŽan“d˜t•Uh“e˜li#st˜tÜroŽ¤‘RÁS[1][1]–ÒDz(whiñÆcš¸ãh“i#s“ÁW[1]Ž‘¸t‘
3ÆÁS[0][1]Ž‘%ó±²).“In“ot•Uh˜e
«r“w˜ords,“t•Uhi#s“m˜eqans“t•Uh˜e“h˜eqad-elem˜en±ÇtŽ¡‘RinformÃŽašÀt¸ãion–.{on“a“ÁW–.q²(WHNF)“ev‘ÿqÇalua˜tÜror–.{i#s“not“(n¸ãeceGsqsar*«ily)“obãŽlit•µUe
«ra˜t“eGd–.{wh¸ãen“it“i#sŽ¡‘Rcom‘ÿ|qbin¸ãeGd–UUwit•Uh“an“ÁS“²ev‘ÿqÇaluaÀtÜror.Ž©$‘a
Th•¸ãe›ªsõTc“h“em“e˜gen“e
«rali#s•1ÇeGs˜in˜s“ev•¸ãe
«ral˜direct“ions.˜Recurs#iv“e˜t“yp#eGs˜wit••Uh˜more˜t“h¸ãanŽ¡‘Ron•¸ãe›.Ët“yp#e˜v‘ÿqÇar*«ia“bãŽle˜are˜mo•GdÕTelle“d˜wit••Uh˜t“h•¸ãe˜sam“e˜ÁB²/ÁW²/ÁS‘.“²coãŽllect“ion˜of˜pGoin±Çtàs,˜wit•UhŽ¡‘Rt•Uh•¸ãe›(¸ÁW‘(‚²an“d˜ÁS‘(‚²pGoin•±Çtàs˜con“t¸ãainin•Ürg˜m•Uul“t•¸ãipãŽle˜param“etµUe
«r*«i•#s“inÜrg˜pGoin±Çtàs,˜raÀt••Uh¸ãe
«r˜t“h¸ãan˜justŽ¡‘Ron•¸ãe›s8an“d˜t“w“o˜reGsp#ect“iv“ely˜as˜wit•Uh˜li#stàs.˜LaÀtŸÿt“iñÆceGs˜for˜non-recurs#iv“e˜t“yp#eGs˜omit˜t•Uh“eŽ¡‘RÁS‘¹u²pGoinš±Çtàs,–¹buÜrt“are“ot•Uh¸ãe
«rwi#s1Çe“idÕTen˜tš¸ãiñÆcal.“Cons•tru˜ctÜror“s–¹oftµUen“h˜a˜v˜e“\const˜an±Çt"“t˜yp#eGsŽ¡‘R{–$t•UhÃŽoqs1Çe“not“m•¸ãen±Çt“ioninÜrg›$t“yp#e˜v‘ÿqÇar*«ia“bãŽleGs˜{˜for˜arguÜrm“en±Çtàs,˜or˜h“a“v“e˜arguÜrm“en±Çtàs˜inŽ¡‘RwhiñÆc•¸ãh›ßt•Uh“e˜t“yp#e˜v‘ÿqÇar*«ia“bãŽleGs˜an“d˜recurs#iv“e˜inst“anceGs˜of˜t•Uh“e˜t“yp#e˜ap“p•#eqar˜bur*«ieGd˜ins“idÕTeŽ¡‘Rarbitrary–†§levš¸ãels“of“\in±ÇtµUe
«rv˜eninÜrg"“t˜yp#eGs.“Man˜y“programs“also“empãŽlo˜y“m•UuÜrt˜uallyŽ¡‘Rrecursš#iv•¸ãe‘sÐt“yp˜ešGs.–sÐAll“t•Uh¸ãe˜sš1Çe“cas˜ešGs“can“b#e“h•¸ãan“dle˜d,–sÐalÜrtš•UhÃŽough“t˜hš¸ãey“mÃŽak˜e“t•Uh˜e“preci#s1ÇeŽ¡‘RdÕTetš¸ãails–<Óof“t•Uh˜e“param˜etµUe
«r*«i#saÀt˜ion“raÀt•Uh˜e
«r“compãŽliñÆcaÀtµUeGd.“Thi#s“param˜etµUe
«r*«i#saÀt˜ion,“an˜dŽ¡‘Rt••Uh“us›UUt“h•¸ãe˜dÕTe
«r*«iv“eGd˜in±ÇtµUe
«rpret“aÀt“ion,˜i#s˜pGoãŽlymorphiñÆcally˜in“v‘ÿqÇar*«ian±Çt.ŽŸU´‘R»3.3‘üFixpQÇoin¦t®9in×gŽŸU´‘R²Once–—Twš¸ãe“regard“t•Uh˜e“ou•ÜrtÊªpu“t–—Tof“t•Uh˜e“a˜bqstract“in±Çt•µUeš
«rpret“e˜r–—Tas“a“tµUe˜rm“in“somš¸ãe“\a˜bqstractŽ¡‘Rlam‘ÿ|qbGdÜra–Y$calculus",“anš¸ãd“w˜e“kno˜w“w˜e“w˜an±Çt“tÜro“compare“su˜c˜h“tµUe
«rms“for“s1ÇemÃŽan±Çt˜iñÆcŽ¡‘Requalitš¸ãy‘ÿ*ª,–Ƕit“s1Çeems“nÃŽaÀt˜ural“tÜro“in˜v˜eGst˜igaÀtµUe“t•Uh˜e“pGo•qs“s#ibilit˜y–Ƕof“buildinÜrg“a“s1ÇemÃŽan±Çt˜iñÆcs-Ž¡‘RpreGs1Çe
«rvinšÜrg–à™transformÃŽaÀt¸ãion“en˜ginš¸ãe.“W‘ÿ*ªe“giv˜e“only“t•Uh˜e“bareGst“suÜrmmÃŽary“h˜e
«re“{“forŽ¡‘RdÕTetš¸ãails,–UUs1Çee‘[Sew94Ž‘8ç],“Sect˜ion“4.“Som˜e“impGort˜anš±Çt“pGoin˜tàs“are:ŽŸD‘X@»{ŽŽŽ‘c²T‘ÿ*ªe
«rms–Ž+are“builÜrt“f*«rom“a“smÃŽall“s1Çelectš¸ãion“of“constru˜ct˜ions.“Lam‘ÿ|qbGdÜras,“v‘ÿqÇar*«ia˜bãŽleGsŽ¡‘can•¸ãd›Bap“pãŽliñÆcaÀt“ions˜in±ÇtroGd“u“ce˜an“d˜refe
«r˜tÜro˜v‘ÿqÇar*«ia“bãŽleGs,˜an“d˜ap“pãŽly˜a“bqstract˜fuÜrnct“ionsŽ¡‘ct••Uh“us–IŒformš¸ãeGd.“\Constru˜ct˜ionÃŽal"“tµUe
«rms“dÕTenot˜inÜrg“¸?²,“t•Uh˜e“lift˜inÜrg“of“som˜e“ot•Uh˜e
«rŽ¡‘ctµUe
«rm–Mèanš¸ãd“t˜upãŽlinšÜrg“are“us1ÇeGd“t˜o“build“v‘ÿqÇaluešGs“in“liftµUe˜d“an¸ãd“pro˜d•¸ãu“ct‘MèlaÀtŸÿt“iñÆce˜s,‘Mèan“dŽ¡‘ct•Uhš¸ãe
«re–=are“a“corre•Gsp“on˜dinÜrg–=s1Çet“of“\dÕTeGstru˜ct˜ionÃŽal"“tµUe
«rms“whiñÆc˜h“tšµUeGst“lift˜eGd-laÀtŸÿt¸ãiñÆceŽ¡‘cpGoin±Çtàs–ûfor“¸?²,“uÜrnš¸ãdo“lift˜inÜrgs,“an˜d“s1Çelect“compGon˜en±Çtàs“f*«rom“t˜upãŽleGs.“FinÃŽally‘ÿ*ª,“joinsŽ¡‘can•¸ãd›UUm“eetàs˜of˜tµUe
«rms˜are˜allo“w“eGd.Ž¦‘X@»{ŽŽŽ‘c²Thš¸ãe–LdtµUe
«rms“are“stronÜrgly-t˜ypš#eGd,“us˜inšÜrg“wh¸ãaÀt“amou˜n±Çtàs“t˜o“an“aš¸ãbqstract“v˜e
«rs#ionŽ¡‘cof–îõt•Uhš¸ãe“Miln˜e
«r-Hin˜dley“t˜yp#e“systµUem.“W‘ÿ*ªell-form˜eGd“tµUe
«rms“m•Uust“b#e“w˜ell-t˜yp#eGd,Ž¡‘can¸ãd–Amš•Uust“also“b#e“monotÜroniñÆc“wit˜h“reGsp#ect“tÜro“t˜h¸ãeGir“fš*«ree“v‘ÿqÇar˜iaš¸ãbãŽleGs.“Th˜e“t˜yp#eŽ¡‘csyst•µUem‘[3incorpšGoraÀt“e˜s–[3a“notš¸ãion“of“param˜etr*«iñÆc“pGoãŽlymorphi#sm.“Th˜e“a˜bqstract“in-Ž¡‘ct•µUeš
«rpret“e˜r–ÔìexpãŽloitàs“t•Uhi#s“bš¸ãy“mÃŽap˜pinÜrg“pGoãŽlymorphi#sm“in“t•Uh˜e“source“program“on±ÇtÜroŽ¡‘cpGoãŽlymorphi#sm–Ëin“t•Uhš¸ãe“a˜bqstract“tµUe
«rms,“whiñÆc˜h“giv˜ešGs“p˜oãŽlymorphiñÆc“anÃŽalys•#i“s‘Ëe˜s-Ž¡‘cs1Çen±Çt¸ãially–UUfor“f*«ree.Ž¦‘X@»{ŽŽŽ‘c²Thš¸ãe–Y3rewr*«itµUe
«r“pro˜pš#e
«r“cons˜i˜stàs“of“a“sõTc•¸ãh“eGd“ulinÜrg‘Y3m“ec“h“ani˜sm,›Y3whiñÆc“h˜s1Çelectàs˜re-Ž¡‘cdÕTexeGs–6•anš¸ãd“ap˜pãŽliešGs“rewr*«itµUe“rule˜s“tÜro“t•Uhš¸ãem,“an˜d“t•Uh˜e“rewr*«itµUe“ruleGs“t•Uh˜ems1Çelv˜eGs.Ž¡‘cTh•¸ãe›asõTc“h“eGd“ule•
«r˜dÕTetµUe“rmin•¸ãeGs˜t•Uh“e˜reGd“u“ct“ion˜ordÕTe
«r,˜whiñÆc“h˜h“as˜a˜mÃŽa‘Ž8jor˜b#eqar*«inÜrg˜onŽ¡‘cp#e•
«rformÃŽance.›·Th¸ãe“re˜are˜a•¸ãbGouÜrt˜ft“y˜ruleGs,˜mÃŽan“y˜wit•Uh˜compãŽlex˜s#idÕTe˜con“dit“ions.Ž¡‘cSince–®²t•Uh¸ãe“rulešGs“are“co˜dÕTe˜d“in“Haskš¸ãell,“t•Uh˜ey“can“us1Çe“t•Uh˜e“full“pGo˜w˜e
«r“of“Hask˜ellŽ¡‘cpa•ÀtŸÿtµUe
«r#n-mÃŽa“t•¸ãc“hinÜrg.›íTh“e˜rewr*«it•µUe
«r˜i#s˜compãŽliñÆcaÀt“eGd˜som•¸ãewh“aÀt˜b“y˜t•Uh“e˜n“eeGd˜tÜro˜pro-Ž¡‘cpGogaÀtµUe–aTanš¸ãd“us1Çe“part˜ial“kno˜wleGdge“(ie,“i•#s/i“s–aTnot“¸?²)“of“t•Uh˜e“v‘ÿqÇalueGs“of“su•UbtµUe
«rmsŽ¡‘cin–UUordÕTe
«r“tÜro“reqac¸ãh“normÃŽal“form.ŽŽŽŒ‹
ç gÌ\ ý¯3¤ 2Ì\ ýäܚ‘,»Makin×g–“t…Thš®9e“rewr1itª"eDr“w˜orÛ2k“w˜ell‘fʲOnce–«a“normÃŽal“form“hš¸ãas“b#een“d•ÕTecid“eGd–«on“an˜dŽ¤‘,suit•¸ãa“bãŽle–.çrewr*«itšµUe“ruleGs“gen¸ãe
«raÀt˜eGd,“t•Uhš¸ãe
«re“i#s“st˜ill“t•Uh˜e“i#sqsue“of“hÃŽo˜w“t•Uh˜e“ruleGs“are“tÜro“b#eŽ¡‘,ap¸ãpãŽliešGd.–žÂThi#s“b˜oils“doš¸ãwn“tÜro“a“proba˜b•ãŽly-irreconcila˜b“le–žÂcon
iñÆct“b#et˜w˜een“inn˜e
«rmoqst-Ž¡‘,r•s“t–Çcanš¸ãd“ouÜrtµUe
«rmoqs•t-r“s“t–Çcrewr*«it˜inÜrg.“Bot•Uh“straÀtµUegieGs“w˜oràk“w˜ell“m•Uu˜c˜h“of“t•Uh˜e“t˜im˜e,Ž¡‘,buÜrt–¥þbGotš•Uh“also“sue
«r“f*«rom“paÀt˜hÃŽoãŽlogiñÆcal“in±ÇtµUe
«ractš¸ãions“b#et˜w˜een“tšµUe
«rms“emitŸÿt˜eGd“b¸ãyŽ¡‘,t•Uh•¸ãe›°a“bqstract˜in±Çt•µUeš
«rpret“e˜r–°anš¸ãd“som˜e“of“t•Uh˜e“rewr*«itµUe“ruleGs.“In“t•Uh˜eGsš1Çe“cas˜eGs,“rewr*«it¸ãinÜrgŽ¡‘,can›pØt•¸ãak“e˜a˜smÃŽall˜tµUe
«rm˜an“d˜expan“d˜it˜expGon“en±Çt“ially˜tÜro˜a˜gigan±Çt“iñÆc˜in±ÇtšµUe
«rm“eGdiaÀt˜eŽ¡‘,tµUe
«rm–Ånb#efore“empãŽloš¸ãyinÜrg“som˜e“ot•Uh˜e
«r“rule“tšÜro“shr*«ink“it“t˜o“anot•Uh¸ãeš
«r“smÃŽall“tµUe˜rm.“Th¸ãeŽ¡‘,eect–ªñon“pš#e
«rformÃŽance“i˜s“di˜sastrous.“GetŸÿt¸ãinšÜrg“rou˜nš¸ãd“t•Uhi#s“probãŽlem“requireGs“a“h˜ybr*«idŽ¡‘,rešGd•¸ãu“ct“ion–YÐstraÀtµUegy“whiñÆc¸ãh“tr*«ie˜s“tÜro“a•¸ãv“oid›YÐkno“wn˜paÀt•UhÃŽoãŽlogiñÆcal˜cas1ÇeGs.˜Thi#s˜w“oràks˜w“ell,Ž¡‘,al•Ürt•UhÃŽough›'©dÕTecidin“g˜on˜t•Uh¸ãe˜spãŽlit˜requireGs˜a˜gre•qaÀt˜dÕTe“al˜of˜dÕTet•¸ãaileGd˜in“v“eGst“igaÀt“ion˜in±ÇtÜroŽ¡‘,tš•Uh¸ãe–UUpreci#s1Çe“dynÃŽamiñÆcs“of“t˜hš¸ãe“reGd˜u˜ct˜ion“systµUem“as“ap˜pãŽlieGd“tÜro“reqali#st˜iñÆc“w˜oràkloads.Ž©Âó‘;
W‘ÿ*ªaÀt•¸ãc“hinÜrg›wÅt•Uh“e˜rewr*«itµUe
«r˜aÀt˜w“oràk˜rev“eqaleGd˜anot•Uh“e•
«r˜in±ÇtµUe“reGst¸ãin•Ürg,˜bu“t,˜in˜retroqsp#ect,Ž¡‘,ušÜrnsurpr*«i•#s“in˜g›Ƈf“act:˜t•Uh•¸ãe˜a“bqstract˜in±Çt•µUeš
«rpret“e˜r's›Ƈ\v•¸ãoGca“bulary"˜of˜tµUe
«rm-com‘ÿ|qbinÃŽaÀt“ionsŽ¡‘,emitŸÿtšµUeGd–˜…i#s“part¸ãiñÆcularly“limit˜eGd.“Thš¸ãe“sam˜e“smÃŽall“coãŽllect˜ion“of“idioms“oGccurs“o˜v˜e
«rŽ¡‘,an•¸ãd›˜“o“v“e
«r˜again.˜Som“e˜of˜t•Uh“eGs1Çe˜idioms˜are˜extrem“ely˜common,˜buÜrt˜t•Uh“ey˜are˜alsoŽ¡‘,quitšµUe–õbig.“Big“t˜eš
«rms“are“a“p#e˜rformÃŽance“lia•¸ãbilit“y;›õcons•#i“st•µUen±Çt•Uly˜smÃŽall˜t“e
«rms˜t“en¸ãd˜tÜroŽ¡‘,giv•¸ãe›¬m•Uu“c“h˜b•#etŸÿtµUe
«r˜p“e
«rform•ÃŽance.˜Th¸ãaÀt˜m“ak•¸ãeGs˜it˜aÀtŸÿtract“iv“e˜tÜro˜capt“ure˜su“c“h˜idiomsŽ¡‘,in–Ôÿsp#ecial,“nš¸ãew“tµUe
«rms,“an˜d“adjust“t•Uh˜e“rewr*«itµUe“ruleGs“accordinÜrgly‘ÿ*ª.“Thiš#s“shÃŽould“b˜eŽ¡‘,donš¸ãe–Õïspar*«inÜrgly‘ÿ*ª,“s#ince“t•Uh˜e“tšµUe
«rm“rewr*«it˜e
«r“b#ecom¸ãeGs“compãŽliñÆcaÀt˜eGd“bš¸ãy“h˜a˜vinšÜrg“t˜o“dÕTeqalŽ¡‘,wit••Uh›Óm“ulÜrt•¸ãipãŽle˜repreGs1Çen±Çt“aÀt“ions˜of˜t•Uh“e˜sam“e˜tµUe
«rm.˜St“ill,˜capt“ur*«inÜrg˜just˜t“w“o˜commonŽ¡‘,idioms–ƒ„likš¸ãe“t•Uhi#s“h˜as“giv˜en“p#e
«rformÃŽance“gains“v˜e
«ry“roughly“on“t•Uh˜e“ordÕTe
«r“of“25Ž¡‘,t•¸ãim“eGs–UUfor“som¸ãe“inpuÜrtàs.Ž¦‘;
Ev¸ãen–
?witš•Uh“t˜hi#s“tr*«iñÆc•¸ãk“e
«ry‘ÿ*ª,‘
?t˜h“e›
?a“bqstract˜in±Çt•µUeš
«rpret“e˜r–
?can“som•¸ãet“im“eGs–
?emit“tµUe˜rms“soŽ¡‘,large–®ªt•Uhš¸ãey“sw˜amp“t•Uh˜e“rewr*«itµUe
«r.“In“t•Uhiš#s“s˜it•¸ãuaÀt“ion–®ªit“i˜s“h¸ãelpful“tÜro“dÕTevi˜s1Çe“a“w¸ãay“tÜroŽ¡‘,pruÜrnš¸ãe–™çtµUe
«rms“so“t•Uh˜e“moqst“impGort˜an±Çt“informÃŽaÀt˜ion“i#s“ret˜ain˜eGd,“whilst“dramÃŽaÀt˜iñÆcallyŽ¡‘,shr*«inkinšÜrg–ªðt•Uh¸ãe“tµUe
«rm.“Of“cours1Çe,“dÕTenin˜g“wh¸ãašÀt“informÃŽa˜tš¸ãion“i#s“impGort˜an±Çt“an˜d“hÃŽo˜wŽ¡‘,safetš¸ãy–.€i#s“pre•Gs1Çe
«rv˜e“d–.€dÕTep#en˜ds“en±Çt˜irely“on“t•Uh˜e“a˜bqstract“in±ÇtµUe
«rpret˜aÀt˜ion.“F‘ÿ*ªor“t•Uhi#s“kin˜dŽ¡‘,of–KÒstr*«iñÆctnš¸ãeGsqs“anÃŽalys•#i“s,–KÒit“i#s“safe“tÜro“repãŽlace“an˜y“tµUe
«rm“b˜y“¸?²,“s#ince“¸?“²c˜h˜aractµUe
«r*«i#s1ÇeGs“\noŽ¡‘,dÕTemÃŽan•¸ãd".›ÊòTh“e˜sõTc“h“em“e˜empãŽlo“y“eGd˜pruÜrn“eGs˜t•µUe
«rms˜aft“e
«r˜a˜sp#ecie•Gd˜dÕTept•Uh˜of˜n¸ãe“stµUe“dŽ¡‘,ÁW–Ú8²or›Ú[ÁS“²constru•¸ãct“ions˜h“as˜b•#een˜s1Çeen.˜Thi“s˜dÕTept•Uh-bas1ÇeGd˜pru•Ürnin“g,˜whilst˜crudÕTe,˜i#sŽ¡‘,f*«requen±Çt•Uly›ä²eect•¸ãiv“e,˜buÜrt˜do#eGs˜not˜w“oràk˜w“ell˜for˜v“e
«ry˜widÕTe,˜sh“allo“w˜tµUe
«rms.˜F‘ÿ*ªurt•Uh“e
«rŽ¡‘,in•¸ãv“eGst“igaÀt“ion–¤in±ÇtšÜro“clev¸ãe•
«re“r–¤pru˜nin˜g“straÀtµUegieGs,“anš¸ãd“t•Uh˜eGir“relaÀt˜ionship“tšÜro“widÕTenin˜g,Ž¡‘,could–UUb#e“w•¸ãort•Uh“while.ŽŸ!ÎÀ‘,»3.4‘üIn¦tª"eDrf(äacin×g–ÕTt…Thš®9e“a˜b µs-tract“in¦t•ª"ešDrpret“e˜r–ÕTan®9d“xpQÇoin¦tª"e˜rŽŸÎÀ‘,²All›Ï<impãŽlem•¸ãen±Çt“aÀt“ion˜w“as˜don“e˜in˜t•Uh“e˜lazy˜fuÜrnct“ionÃŽal˜lanÜrguage˜Hask“ell.˜P“e
«rform-Ž¡‘,ance–5KprolinÜrg“rev¸ãeqalešGd“an“imp˜ortš¸ãan±Çt“f#act:“hÃŽo˜w“w˜ell“t•Uh˜e“systµUem“as“a“whÃŽoãŽle“w˜oràksŽ¡‘,dÕTep#en•¸ãds›m‡h“eqa“vily˜on˜hÃŽo“w˜m•Uu“c“h˜of˜t•Uh“e˜a“bqstract˜in±Çt•µUeš
«rpret“e˜r's›m‡ou•ÜrtÊªpu“t˜t•Uh¸ãe˜xpGoin±ÇtµUe
«rŽ¡‘,(h•¸ãence,›½mt•Uh“e˜rewr*«itµUe
«r)˜n“eeGds˜tÜro˜s1Çee.˜If˜t•Uh“e˜xpGoin±ÇtµUe
«r˜i#s˜v“e
«ry˜clev“e
«r˜it˜mÃŽay˜ignoreŽ¡‘,moqst–ɦof“t•Uh¸ãe“in±Çt•µUeš
«rpret“e˜r's›ɦou•ÜrtÊªpu“t.˜Bu“t˜s#ince˜wr*«it¸ãin“g˜t•Uh¸ãe˜in±Çt•µUeš
«rpret“e˜r–ɦin“Hask¸ãellŽ¡‘,mšÃŽak¸ãeGs–"Ýit“dÕTem˜an•¸ãd-dr*«iv“en,›"Ýclev“e
«r#n“eGsqs˜on˜t•Uh“e˜xpGoin±ÇtµUe
«r's˜part˜sa“v“eGs˜a˜gre•qaÀt˜dÕTe“alŽ¡‘,of–e(exp#ens1Çe“in“t•Uhš¸ãe“in±ÇtµUe
«rpret˜aÀt˜ion“itàsš1Çelf.“It“s˜eems“safe“tÜro“say“tš•Uh¸ãaÀt“t˜h¸ãe“p#e
«rformÃŽanceŽ¡‘,re•GsulÜrtàs›uHrep“ortµUe“d˜b#elo•¸ãw˜could˜n“ev“e
«r˜h“a“v“e˜b#een˜ac“hiev“eGd,˜nor˜ev“en˜ap“proac“h“eGd,ŽŽŽŒ‹ý¢ gÌ\ ý¯3¤ 2Ì\ ýäܚ‘R²h•¸ãad›k7t•Uh“e˜in±Çt•µUeš
«rpret“e˜r–k7b#een“wrš*«itŸÿtµUen“in“a“str˜iñÆct“lanšÜrguage,“SML,“for“exampãŽle.“F‘ÿ*ªu˜t•Uh¸ãe
«rŽ¤‘RdÕTetš¸ãails–UUare“a˜v‘ÿqÇaila˜bãŽle“in‘[Sew94Ž‘8ç],“Sect˜ion“4.Ž©÷‘a
Th•¸ãe›Ø comm“en±Çtàs˜t•Uhree˜paragraphs˜bac“k˜regardinÜrg˜idioms˜an“d˜t•Uh“e˜t•µUe
«rm˜rewr*«it“e
«rŽ¡‘Rb#elie–üÀa“more“fu•Ürnš¸ãd“am˜en±Çt˜al–üÀdÕTeGs#ign“
aw“whiñÆc˜h“limitàs“p#eš
«rformÃŽance:“s1Çe˜r*«ious“an¸ãdŽ¡‘RextµUens#iv•¸ãe›Q¹sh“ar*«inÜrg˜lo•qs“s1Çe•Gs.˜Th¸ãe˜idiom-sp“otŸÿt•¸ãinÜrg˜tr*«iñÆc“k˜giv“eGs˜big˜p•#e
«rformÃŽance˜sp“eeGd¸ãupqsŽ¡‘Rpr•*«imÃŽar“ily–¸„b#ecaŸÿus1Çe“it“a•¸ãv“oids›¸„d“upãŽliñÆcaÀt“ion˜of˜arbitrar*«ily˜large˜su•UbtµUe
«rms.˜Man“y˜of˜t•Uh“eŽ¡‘Rcas1ÇeGs–=Ñof“t•Uhš¸ãe“a˜bqstract“in±Çt•µUeš
«rpret“e˜r›=Ñd¸ãupãŽliñÆcaÀt“e˜t“e
«rms˜in¸ãdi#sõTcr*«iminÃŽaÀt“ely‘ÿ*ª.˜All˜t•Uhi#s˜pGoin±ÇtàsŽ¡‘RtÜro–ÚÈa“nš¸ãeeGd“for“expãŽliñÆcit“sh˜ar*«inÜrg“in“tµUe
«rms:“non-recurs#iv˜e“a˜bqstract“Álet²s.“MoGdifyinÜrgŽ¡‘Rt•Uh¸ãe–ÃËtšµUe
«rm“rewr*«it˜e
«r“tšÜro“w¸ãoràk“wit•Uh“Álet²s“sou˜nš¸ãds“leGsqs“t•Uh˜an“straigh˜tforw˜ard,“so“it“migh˜tŽ¡‘Rb#e–zuhš¸ãelpful“tÜro“bGorro˜w“k˜ey“idÕTeqas“f*«rom“t•Uh˜e“call-b˜y-n˜eešGd“lam‘ÿ|qb˜dÜra“calculus“dÕTe˜sõTcr*«ib#e˜dŽ¡‘Rin‘[AFMŸü^ÿ±+Ž‘£²95Ž‘'Õ]].Ž¦‘a
Go•Go“d–>+p#eš
«rformÃŽance“hinÜrgeGs“on“gen•¸ãe˜raÀt“inÜrg–>+smÃŽall“tµUe˜rms“anš¸ãd“k˜eepinÜrg“t•Uh˜em“smÃŽallŽ¡‘Rt••UhroughÃŽouÜrt›/<t“h¸ãeGir˜v‘ÿqÇar*«ious˜mÃŽan•Ürglin“gs.˜IdÕTeqally‘ÿ*ª,˜t••Uh¸ãe˜s#ize˜of˜t“h•¸ãe˜a“bqstract˜in±Çt•µUeš
«rpret“e˜r'sŽ¡‘Rou•ÜrtÊªpu“t–F†shšÃŽould“b#e“pro•¸ãpGort“ion˜al–F†only“tÜro“tš•Uh¸ãe“s#ize“of“t˜h¸ãe“source“program.“Thiš#s“i˜sŽ¡‘Rproba•¸ãbãŽly›˜ÑuÜrnreqali#st“iñÆc.˜Nev“e
«rt•Uh“ele•Gsqs,˜dÕTe“s#ign•¸ãe
«rs˜of˜a“bqstract˜in±ÇtµUe
«rpret“aÀt“ions˜w“ouldŽ¡‘Rbš#e–>w¸ãell“advi˜s1ÇeGd“tšÜro“str*«iv¸ãe“t˜o•¸ãw“ards–>t•Uhi#s“goal.“As“an“exampãŽle,“Phil“W‘ÿ*ªadle
«r's“or*«i-Ž¡‘RginšÃŽal–a"non-
aÀt“str*«iñÆctn¸ãeGsqs“an˜alys•#i“s›a"sõTc•¸ãh“em“e‘[W‘ÿ*ªad87Ž‘]˜ga“v“e˜an˜in±ÇtµUe
«rpret“aÀt“ion˜of˜ÁcaseŽ¡‘R²expreGsqs#ions–eHwhiñÆcš¸ãh“expan˜ds“expGon˜en±Çt˜ially“witš•Uh“t˜hš¸ãe“s#ize“of“inst˜an±Çt˜iaÀt˜inÜrg“t˜ypš#eGs.“Thi˜sŽ¡‘Rrenš¸ãdÕTe
«rs–ݕit“impract˜iñÆcal“for“all“buÜrt“t•Uh˜e“t˜inieGst“programs“([Sew94Ž‘8ç],“Sect˜ion“5.8).“OurŽ¡‘Rbac•¸ãkw“ards›åf*«ram“ew“oràk˜i#s˜pGoãŽlymorphiñÆcally˜in“v‘ÿqÇar*«ian±Çt,˜so˜it˜a“v“oids˜t•Uh“aÀt˜part“iñÆcularŽ¡‘RhÃŽorror,–×õbuÜrt“it“stš¸ãill“h˜as“pãŽlen±Çt˜y“of“pGotµUen±Çt˜ial“for“o˜pt˜imi#saÀt˜ion“us#inÜrg“a˜bqstract“Álet²s.Ž¡‘RTh¸ãe–vÒpGoin±Çt“of“t•Uhiš#s“exampãŽle“i˜s“tš•Uh¸ãaÀt,“wit˜h“a“litŸÿt˜le“care,“m˜u•¸ãc“h–vÒof“t˜hš¸ãe“\exp•Gon˜en±Çt˜ialn˜e“sqs"Ž¡‘Rcan–UUb#e“enÜrginš¸ãee
«reGd“aw˜ay‘ÿ*ª,“givinÜrg“su•Ubqst˜an±Çt˜ial“pš#e
«rformÃŽance“b˜en¸ãetàs.ŽŸ è7‘RÓ4‘
€Re`sulÐtÔËsŽŸÑ‘R»4.1‘üIn–ÕTt…Th®9e“smº}allŽŸÑ‘R²Th•¸ãe›6wtµUec“hnoãŽlogy˜dÕTe•GsõTcr*«ib#e“d˜aš¸ãb“o˜v˜e–6ww˜as“constru˜ctµUešGd“ins#idÕTe“a“purp˜oqs1Çe-builÜrt“dÕTev¸ãel-Ž¡‘Ro•¸ãpm“en±Çt›-`f*«ram“ew“oràk.˜Th“e˜f*«ram“ew“oràk˜i#s˜a˜quiñÆc“k-an“d-dirt“y˜impãŽlem“en±Çt“aÀt“ion˜of˜t•Uh“eŽ¡‘Rf*«ron±Çt–&Åpart“of“a“compileš
«r“for“an“o•¸ãv“e˜rloadinÜrg-f*«ree–&Åsu•Ubqs1Çet“of“Haskš¸ãell,“dÕTe•Gs#ign˜e“d‘&ÅtÜroŽ¡‘Rf•#acilitš¸ãaÀtµUe‘Ÿúexp“e•
«r*«im˜en±Çt˜aÀt˜ion.‘ŸúA‘Ÿ¤high˜e“r-ordÕTe“r–Ÿúremo˜v‘ÿqÇal“transformÃŽaÀt˜ion“in“t•Uh˜e“st˜yleŽ¡‘Rof–³LNelan‘[Nel91Ž‘¸ç]“allo¸ãws“r•s“t-ordÕTe
«r–³LanšÃŽalys1ÇeGs“of“programs“m˜akinÜrg“su•Ubqst•¸ãan±Çt“ial‘³Lus1ÇeŽ¡‘Rof›Áhigh¸ãe•
«r-ordÕTe“r˜fuÜrnct•¸ãions.˜All˜anÃŽalys1ÇeGs˜w“e
«re˜don“e˜monomorphiñÆcally‘ÿ*ª,˜tÜro˜mÃŽak“eŽ¡‘Rcompar*«i#son–¶Ûwit•Uh“a“forwš¸ãard“in±ÇtµUe
«rpret˜aÀt˜ion“f#aire
«r.“F‘ÿ*ªor“t•Uh˜e“bac˜kw˜ards“anÃŽalys1ÇeGs,Ž¡‘Rof–Lþcours1Çe,“t•Uh¸ãe
«re“iš#s“no“in±Çtr*«ins˜išñÆc“reqason“tÜro“us1Çe“monomorphi˜c“anÃŽalys•#i“s.–LþF‘ÿ*ªour“inpuÜrtàsŽ¡‘Rw¸ãe
«re‘UUus1ÇeGd:ŽŸgۍ‘X@»{ŽŽŽ‘cÁavlTree²:–UUins1Çe
«rtš¸ãion“of“itµUems“in±ÇtÜro“an“A‘þãVL“tree“(44“lin˜eGs).Ž¦‘X@»{ŽŽŽ‘cÁlife²:›XÔLaŸÿuÜrnc•¸ãh“bury's˜impãŽlem“en±Çt“aÀt“ion˜of˜Con“w“ay's˜\life"˜s#im•UulaÀt“ion˜(311˜lin“eGs).Ž¦‘X@»{ŽŽŽ‘cÁfft²:–ðF‘ÿ*ªast“fourš*«ie
«r“transform,“f˜rom“HartšµUel's“b#enc¸ãhmÃŽaràk“suit˜e‘[HL92aŽ‘À]“(421Ž¡‘clin¸ãeGs).Ž¦‘X@»{ŽŽŽ‘cÁida²:–UUSoãŽlvš¸ãeGs“t•Uh˜e“15-puzzle,“also“f*«rom“HartšµUel's“suit˜e“(728“lin¸ãeGs).ŽŸM䍑a
Álife²,–M™Áfft“²anš¸ãd“Áida“²are“su•Ubqst˜an±Çt˜ial“inpuÜrtàs.“QuotµUešGd“s#ize˜s“are“aftµUeš
«r“ins1Çe˜rt¸ãion“ofŽ¡‘Rsuit•¸ãa“bãŽle–iÑpreludÕTe“fuÜrnctš¸ãions.“Th˜ey“mÃŽak˜e“su•Ubqst˜an±Çt˜ial“us1Çe“of“high˜e•
«r-ordÕTe“r‘iÑfuÜrnct˜ions,ŽŽŽŒ‹
„ gÌ\ ý¯3¤ 2Ì\ þj͟ŒÍŸä?þ’—«†ÑF‘ÿÌorw´CardsŽŽ’à°Ev‘ÿh‰alT‘ÿÌransŽŽ’
 ‹wHeKadStr-qiðÚctŽŽŽ¤‘Z˶ÐProgram‘H‡ŸLτff‘
™š„ffŽ’\–Tim¾9e‘H‡ŸLτffŽ’¸gÌReAÇs äid‘H‡ŸLτff‘
™š„ffŽ’ܤøTim¾9e‘H‡ŸLτffŽ’ý¹ReAÇs äid‘H‡ŸLτff‘
™š„ffŽ’
!EåTim¾9e‘H‡ŸLτffŽ’
A©¦ReAÇs äidŽŽ‘YePŸ³5‰ff
U
Ÿ³1‘keÜavlTreeŽ‘(ÌŸLτff‘
™š„ffŽ‘;V`Ð9.58‘H‡ŸLτffŽ‘c,É1514‘H‡ŸLτff‘
™š„ffŽ’‡žÂ0.23‘H‡ŸLτffŽ’¬"öó3¼j‘¹		cmti9Þ197‘H‡ŸLτff‘
™š„ffŽ’Ì?¯Ð0.27‘H‡ŸLτffŽ’ðÃãÞ200ŽŽ¡‘	ÆÜlifeŽ‘(ÌŸLτff‘
™š„ffŽ‘2dÐ359.20‘H‡ŸLτffŽ‘^ŒË11203‘H‡ŸLτff‘
™š„ffŽ’‡žÂ2.01‘H‡ŸLτffŽ’¬m´628‘H‡ŸLτff‘
™š„ffŽ’Ì?¯2.97‘H‡ŸLτffŽ’ðÃãÞ615ŽŽ¡‘ޑÜfftŽ‘(ÌŸLτff‘
™š„ffŽ‘6¶bÐ28.76‘H‡ŸLτffŽ‘bÉ!Þ1473‘H‡ŸLτff‘
™š„ffŽ’‡žÂÐ6.38‘H‡ŸLτffŽ’§jÞ1473‘H‡ŸLτff‘
™š„ffŽ’Ì?¯Ð8.38‘H‡ŸLτffŽ’ì
ûÞ1524ŽŽ¡‘ޑÜidaŽ‘(ÌŸLτff‘
™š„ffŽ‘6¶bÐ920+‘H‡ŸLτffŽ‘W[54000+‘H‡ŸLτff‘
™š„ffŽ’‡žÂ9.32‘H‡ŸLτffŽ’§jÞ1725‘H‡ŸLτff‘
™š„ffŽ’Ì?¯Ð7.70‘H‡ŸLτffŽ’ì
ûÞ1734ŽŽŽŽŽŸ:³3‘,ÑT‘ÿÌa´Cbá´le‘†1.–¬ßÐPš¾9e	ÞrformÈance“of“a˜bNs”tract“in·¤t•ºîeš	Þrpret“e˜r”s›¬ß(t•¾9im“e˜in˜s.econ“ds,˜re•AÇs äidØ‡encie“s˜in˜Kb¾9ytºîe“s).Ž¤‘,It¾9aliò×ci äs.e•AÇd›®2gure“s˜in¾9diò×caÄÍtºîe˜p äeNak˜re“s äidØ‡encie“s˜dØ‡en¾9e“d˜b¾9y˜prepro“ce“sNs äinßg˜ph¾9as.e“s,˜raÄÍt•Th¾9e	Þr˜t“h¾9anŽ¡‘,a•¾9bNs”tract›í>in·¤tºîe	Þrpret“aÄÍt“ion˜or˜xpAÇoin·¤t“inßg.˜Th“e˜ÑF‘ÿÌorw´Cards˜ÐanÈalys• äi“s˜of˜Üida˜Ðdid˜not˜compå±letºîeŽ¡‘,evš¾9en–Tin“54“m˜ega˜b˜ytºîeAÇs“of“h˜eNap.ŽŽŸ"ó‘,²whiñÆc•¸ãh›;vt•Uh“e˜r•s“t•¸ãie
«r˜h“as˜tÜro˜w“oràk˜quitµUe˜h“ard˜tÜro˜remo“v“e,˜an“d˜whiñÆc“h˜caŸÿus1ÇeGs˜t•Uh“e˜inpu•Ürt˜t“oŽ¤‘,t•Uh•¸ãe›ä7a“bqstract˜in±Çt•µUeš
«rpret“e˜r–ä7pro¸ãp#e˜r“tÜro“bš#e“cons˜idÕTeš
«ra¸ãbãŽly“bigge˜r“tš•Uh¸ãan“t˜hš¸ãe“uÜrn±Çtransform˜eGdŽ¡‘,sourceGs.Ž©¦ê‘;
Thš¸ãe–pNanÃŽalys1Çe
«r“w˜as“wr*«itŸÿtµUen“in“st˜an˜dÜrard“Hask˜ell“1.2,“compileGd“wit•Uh“Glasgo˜wŽ¡‘,Haskš¸ãell–bS0.19“\Á-O²",“an˜d“ruÜrn“on“a“quiet“64-m˜ega˜b˜ytµUe“SušÜrn“Sparc“10/31“ru˜nnin˜gŽ¡‘,SuÜrnOS–v4.1.3.›vOA“gen•¸ãe
«raÀt“ionÃŽal˜garbage˜coãŽllectÜror˜w“as˜us1ÇeGd,˜an“d˜h“eqap˜s#izeGs˜w“e
«reŽ¡‘,s1Çet–yetÜro“try“anš¸ãd“k˜eep“garbage“coãŽllect˜ion“coqstàs“b#elo˜w“10%,“alÜrt•UhÃŽough“for“large
«r“reGs-Ž¡‘,idÕTencieGs–Î.t•Uhiš#s“i˜s“diculšÜrt.“Tim¸ãeGs“u˜nš¸ãdÕTe
«r“s#ixt˜y“s1Çecon˜ds“are“a˜v˜e
«rageGd“o˜v˜e
«r“s#ix“ruÜrns.Ž¡‘,Thš¸ãey–KfincludÕTe“t•Uh˜e“prepro•Gce“sqs#inÜrg‘Kft˜im˜e“s–Kfof“pars#inšÜrg,“dÕTeGsugar*«in˜g,“t•¸ãyp#ec“h“ec“kin˜g,‘Kfmono-Ž¡‘,morphi#saÀt•¸ãion›gžan“d˜r•s“t•¸ãicaÀt“ion,˜buÜrt˜in˜no˜cas1Çe˜do˜t•Uh“e•Gs1Çe˜excee“d˜20%˜of˜t•Uh•¸ãe˜tÜrot“al.Ž¡‘,T‘ÿ*ªa•¸ãbãŽle‘1›UUshÃŽo“ws˜t•Uh“e˜reGsul•Ürtàs,˜us#in“g˜t•Uhree˜die
«ren•±Çt˜a¸ãbqstract˜in“tµUe
«rpret•¸ãaÀt“ions:ŽŸ›¨‘2@»{ŽŽŽ‘=He µadStr1iï¥ct²:–‘a“hš¸ãeqad“str*«iñÆct,“bac˜kw˜ards“in±ÇtµUe
«rpret˜aÀt˜ion“preciš#s1Çely“as“dÕTe•GsõTcr*«ib˜e“dŽ¡‘=in–UUt•Uhiš#s“pap˜e
«r.Ž¦‘2@»{ŽŽŽ‘=Ev‘ÿ\ralT‘ÿ
«rans²:–¼–anot•Uhš¸ãe
«r“bac˜kw˜ards“in±ÇtµUe
«rpret˜aÀt˜ion,“form˜eGd,“as“wit•Uh“HeqadStr*«iñÆct,Ž¡‘=us#inÜrg–'kt•Uhš¸ãe“gen˜e
«rš*«iñÆc“f˜ram•¸ãew“oràk‘'kdÕTe•GsõTcr˜ib#e“d‘'kaš¸ãb“o˜v˜e,–'kbušÜrt“us#in˜g“a“s#impãŽleš
«r“c•¸ãh“aractµUe˜r-Ž¡‘=i#sašÀt¸ãion–Sof“dÜra˜tš¸ãa“stru˜ct˜urešGs,“e˜sqs1Çen±Çtš¸ãially“a“gen˜e
«rali#saÀt˜ion“of“Geo“Bur#n's“Ev‘ÿqÇalu-Ž¡‘=aÀt•¸ãion‘UUT‘ÿ*ªransform“e
«rs.Ž¦‘2@»{ŽŽŽ‘=F‘ÿ
«orw®9ards²:–Àa“forwš¸ãards“BHA-st˜yle“in±Çt•µUeš
«rpret“e˜r,–Àwit•Uh“h•¸ãan“dlinšÜrg–Àof“d˜aÀtš¸ãa“stru˜c-Ž¡‘=t¸ãurešGs–Çtas“dÕTe˜sõTcr*«ib#e˜d“in‘[Sew91Ž‘8ç].“Thš¸ãe“dÜraÀt˜a-stru˜ct˜ure“h˜an˜dlinÜrg“can“bš#e“cons˜idÕTe
«reGdŽ¡‘=in–UUa“s•1Çens“e–UUof“\equiv‘ÿqÇalen±Çt"“dÕTetš¸ãail“tÜro“t•Uh˜aÀt“of“Ev‘ÿqÇalT‘ÿ*ªrans.ŽŸô¾‘,Eac¸ãh‘–in±Çt•µUeš
«rpret“e˜r––wš¸ãas“m˜eqasurešGd“wit•Uh“a“rewr*«itµUe-bas1Çe˜d“xp˜oin±ÇtµUe
«r“dÕTe˜s#ign¸ãe˜d“sp#eciallyŽ¡‘,for–®±it.“Thš¸ãe“rewr*«itµUe
«rs“are“v˜e
«ry“s#imilar,“an˜d“b˜y“us#inÜrg“t•Uh˜e“sam˜e“kin˜d“of“o˜pt˜imi#saÀt˜ionsŽ¡‘,in–UUeqacš¸ãh“w˜e“hÃŽo˜p#e“tÜro“mÃŽak˜e“t•Uh˜e“compar*«i#son“reqasonÃŽa˜bãŽly“f#air.Ž¦‘;
Th•¸ãeGs1Çe›Ù1m“eqasurem“en±Çtàs˜mÃŽak“e˜cleqar˜just˜wh“aÀt˜an˜adv‘ÿqÇan±Çt“age˜t•Uh“e˜bac“kw“ards˜in±ÇtµUe
«r-Ž¡‘,pret•¸ãaÀt“ions›/h“a“v“e˜{˜t•Uh“e˜Ev‘ÿqÇalT‘ÿ*ªrans˜anÃŽalys•#i“s˜of˜Álife˜²ruÜrns˜almoqst˜t•¸ãw“o˜h•UuÜrn“dreGd˜t“im“eGsŽ¡‘,f#astµUe
«r–6©tš•Uh¸ãan“t˜hš¸ãe“forw˜ards“anÃŽalys•#i“s,–6©an˜d“in“a“f*«ract˜ion“of“t•Uh˜e“space.“Th˜e“HeqadStr*«iñÆctŽ¡‘,in±ÇtµUe
«rpret•¸ãaÀt“ion–-iš#s“not“s˜ignican±Çtš•Uly“slo•¸ãw“e
«r‘-t˜h“an‘-t˜h“e–-Ev‘ÿqÇalT‘ÿ*ªrans“v¸ãe
«rsš#ion.“Thi˜s“com¸ãeGsŽ¡‘,as–
'a“bit“of“a“surpr*«iš#s1Çe,“s˜ince“onš¸ãe“migh˜t“exp#ect“it“tÜro“proGd˜u˜ce“m•Uu˜c˜h“more“dÕTet˜ail,Ž¡‘,an•¸ãd›l¿t“ak“e˜corre•Gsp“on¸ãdin•Ürgly˜lon“ge
«r.˜Insp#ect¸ãion˜of˜ou“tÊªpu“tàs˜rev•¸ãeqals˜t•Uh“aÀt˜it˜do#eGsn'tŽ¡‘,alw•¸ãays›apn“d˜a˜gre•qaÀt˜dÕTe“al˜more˜str*«iñÆctn¸ãeGs“s˜t••Uh¸ãan˜t“h¸ãe˜Ev‘ÿqÇalT‘ÿ*ªrans˜anÃŽalys•#i“s.˜An¸ãd˜quitµUeŽŽŽŒ‹
*. gÌ\ ý¯3¤ 2Ì\ ýäܚ‘R²wh•¸ãy›²t•Uh“e˜HeqadStr*«iñÆct˜anÃŽalys•#i“s˜shÃŽould˜som•¸ãet“im“eGs˜b#e˜quiñÆc“k“e
«r˜(for˜Áida²)˜i#s˜m“ystµUe
«r*«ious,Ž¤‘RpGo•qs“s#ibãŽly–UUdš¸ãue“tÜro“t•Uh˜e“preci#s1Çe“dÕTet˜ails“of“reGd˜u˜ct˜ion“paÀtš•Uhs“in“t˜h¸ãe“tšµUe
«rm“rewr*«it˜e
«rs.Ž©qm‘R»4.2‘üIn–ÕTt…Th®9e“largeŽŸqm‘R²Aft•µUe
«r›Žext“ens#iv•¸ãe˜t“u•Ürnin“g˜in˜t•Uh•¸ãe˜dÕTev“elo“pm“en±Çt˜f*«ram“ew“oràk,˜t•Uh“e˜(pGoãŽlymorphiñÆc)˜Heqad-Ž¡‘RStr*«iñÆct‘y}in±Çt•µUeš
«rpret“e˜r–y}an¸ãd“itàs“xpGoin±ÇtµUe˜r“w¸ãe˜re“instš¸ãalleGd“in“Glasgo˜w“Hask˜ell“0.19“tÜroŽ¡‘Ras•qs1ÇeGs“s–¹+t•Uhš¸ãe“via˜bilit˜y“of“su˜c˜h“str*«iñÆctn˜eGsqs“anÃŽalys•#i“s–¹+\in“t•Uh˜e“large".“In±ÇtµUegraÀt˜ion“addÕTeGdŽ¡‘Raš¸ãbGouÜrt–¯¨5700“non-bãŽlank,“non-comm˜en±Çt“lin˜ešGs“of“co˜dÕTe“tšÜro“an“exi#st¸ãin˜g“t˜otš¸ãal“of“a˜bGouÜrtŽ¡‘R50000.–]BecaŸÿus1Çe“t•Uhš¸ãe“compile
«r“i#s“w˜ell“dÕTe•Gs#ign˜e“d,–]in±ÇtµUegraÀt˜ion“w˜as“remÃŽaràkñÆa˜bãŽly“cleqan,Ž¡‘Rwit••Uh›Èt“h¸ãe˜smÃŽalle•Gst˜of˜mo“dicaÀt•¸ãions˜tÜro˜exi#st“inÜrg˜coGdÕTe.˜Th“e˜exi#st“inÜrg˜f*«ram“ew“oràk˜forŽ¡‘RtransmitŸÿt•¸ãinÜrg›=-pragmÃŽaÀt“iñÆc˜informÃŽaÀt“ion˜b#et“w“een˜mošGd“ule˜s›=-w“as˜extµUen“dÕTeGd˜tÜro˜allo“w˜fullŽ¡‘Rin±ÇtµUe
«rmoGd¸ãule›ž\anÃŽalys•#i“s;˜giv•¸ãen˜t•Uh“e˜arguÜrm“en•±Çtàs˜prešGs1Çen“tµUe˜d–ž\in“Sectš¸ãion‘2,“t•Uh˜e“exp#e
«r*«im˜en±ÇtŽ¡‘Rw•¸ãould›UUh“a“v“e˜b#een˜largely˜w“ort•UhleGsqs˜h“ad˜t•Uhi•#s˜b“een˜omitŸÿtµUeGd.Ž¡‘a
CompilinÜrg– ¾Glasgoš¸ãw's“impãŽlem˜en±Çt˜aÀt˜ion“of“t•Uh˜e“Hask˜ell“ÁPrelude²,“pãŽlus“som˜e“ot•Uh˜e
«rŽ¡‘Rgen¸ãe
«ral-purp•Goqs1Çe›Iølibrar*«ie“s,˜t•Ürot¸ãallin“g˜a¸ãbGou“t˜4000˜lin•¸ãeGs,˜t“ak“eGs˜som“e˜four˜hÃŽours˜on˜aŽ¡‘RSuÜrn›·«SparcSt•¸ãaÀt“ion˜IPX,˜roughly˜a˜dou••UbãŽlinÜrg˜of˜t“h¸ãe˜no-anÃŽalys•#i“s˜t•¸ãim“e.˜A‘·‘h“eqap˜s#izeŽ¡‘Rof–bT24“m•¸ãega“b“ytµUešGs‘bTpro“v“e˜d–bTmore“t•Uhš¸ãan“adÕTequaÀtµUe,“an˜d,“pãŽleqas#inÜrgly‘ÿ*ª,“t•Uh˜e
«re“w˜as“no“n˜eeGdŽ¡‘RtšÜro–ijreGsort“t˜o“t•Uh¸ãe“tree-pru˜nin˜g“dÕTe•GsõTcr*«ib#e“d–ijin“Sectš¸ãion‘3.3.“An“eqarlie
«r“v˜e
«rs#ion“of“t•Uh˜eŽ¡‘RanÃŽalys1Çe
«r,–s€in“itšàs“dÕTev•¸ãelo“pm“en±Çt‘s€f*«ram“ew“or˜k,‘s€const“it“ušÜrt“in˜g–s€13000“lin¸ãešGs“in“28“mo˜d¸ãule˜s,Ž¡‘Rw¸ãas›‹®su••Ubqs1Çequen±Çt“ly˜compile•Gd.˜25˜mo“d¸ãule“s˜w¸ãen±Çt˜t••Uhrough˜wit“h˜no˜probãŽlems,˜whilstŽ¡‘Rt•Uhree–UUrequireGd“pru•Ürnin“g.Ž¡‘a
By–t7anš¸ãy“st˜an˜dÜrards,“su˜c˜h“exp#e
«r*«im˜en±Çt˜aÀt˜ion“wit•Uh“reqal“compile
«rs“an˜d“reqal“pro-Ž¡‘Rgrams–glenš¸ãds“mÃŽa‘Ž8jor“creGdibilit˜y“tÜro“t•Uh˜e“en•Ürgin˜ee
«rš*«in“g‘gdÕTe•GsõTcr˜ibš#e“d–gin“t•Uhi˜s“pap˜e
«r.“Ob-Ž¡‘Rs1Çe
«rv‘ÿqÇaÀtš¸ãion–\of“t•Uh˜e“in±Çt•µUeš
«rpret“e˜r–\an¸ãd“xpGoin±ÇtµUe˜r“grap¸ãpãŽlinšÜrg“wit•Uh“non-t˜o¸ãy“inpu˜tàs“leqad“t˜oŽ¡‘RmÃŽan•¸ãy›5Hren“em“en±Çtàs,˜an“d˜tÜro˜t•Uh“e˜suggeGst“ions˜for˜furt•Uh“e
«r˜dÕTev“elo“pm“en±Çt˜tÜro“w“ards˜t•Uh“eŽ¡‘Renš¸ãd–UUof“Sect˜ion‘3.4.Ž¦‘R»4.3‘üConclus(äionsŽŸqm‘R²Th•¸ãe›`»a“bqstract˜in±Çt•µUeš
«rpret“e˜r–`»anš¸ãd“xpGoin±Çt˜inÜrg“m˜ec˜h˜ani#sm“ouÜrt•Ulin˜eGd“a˜bGo˜v˜e“h˜a˜v˜e“b#eenŽ¡‘RdÕTev•¸ãelo“p#eGd›Xan“d˜t“uÜrn“eGd˜b“y˜ru•Ürnnin“g˜t•Uh•¸ãem˜o“v“e
«r˜ap“pro“ximÃŽaÀtµUely˜t“w“en±Çt“y˜t•UhÃŽousan“d˜lin“eGsŽ¡‘Rof–Q½Hask¸ãell“source“cošGdÕTe.“As•qs1Çe˜s“s#inÜrg–Q½t•Uhš¸ãe“via˜bilit˜y“of“n˜ew“sõTc˜h˜em˜eGs“only“on“smÃŽall“ex-Ž¡‘RampãŽleGs–Œor“usš#inÜrg“pap˜e
«r“anÃŽalys1ÇeGs“can“b˜e“mi˜sleqadinšÜrg.“Go•Go“d–Œen˜gin¸ãee
«r*«in˜g“requireGs“notŽ¡‘Ronly›F‘sup•¸ãpGort“inÜrg˜t•Uh“eory˜{˜of˜whiñÆc“h˜t•Uh“e˜eld˜shÃŽo“ws˜no˜shÃŽort“age˜{˜buÜrt˜also˜extµUens-Ž¡‘Riv•¸ãe›8quan±Çt“it“aÀt“iv“e˜anÃŽalys•#i“s˜on˜reqali“st¸ãiñÆc-s“izeGd˜inpuÜrtàs.˜Th•¸ãe˜relaÀt“iv“e˜lac“k˜of˜eect“iv“eŽ¡‘RimpãŽlem•¸ãen±Çt“aÀt“ions–Iof“str*«iñÆctnš¸ãeGsqs“an˜d“ot•Uh˜e
«r“s1ÇemÃŽan±Çt˜iñÆc“anÃŽalys1ÇeGs“for“Hask˜ell“highligh˜tàsŽ¡‘Rt•Uh•¸ãe›UUn“eeGd˜for˜furt•Uh“e
«r˜aÀtŸÿtµUen±Çt“ion˜t•Üro˜en“gin¸ãee
«r*«in“g˜i#s•qsueGs˜in˜a¸ãb“stract˜in±ÇtµUe
«rpret•¸ãaÀt“ion.Ž¡‘a
Us#inÜrg–Yçt•Uh¸ãešGs1Çe“pr*«incipãŽle˜s,“a“p˜oãŽlymorphiñÆc“pro‘Ž8jectš¸ãion“anÃŽalys1Çe
«r“for“Hask˜ell“h˜as“b#eenŽ¡‘RcreqaÀtµUeGd.–ÇThš¸ãe“anÃŽalys1Çe
«r“i#s“eect˜iv˜e,“robust,“relia˜bãŽle,“t˜urš#ns“in“go•Go“d‘Çp˜e
«rformÃŽance“s,Ž¡‘Ran•¸ãd›«—h“as˜b#een˜us1ÇeGd˜tÜro˜sup“p•Gort˜re“s1Çeqarc¸ãh˜in˜aŸÿu•Ürt“omÃŽaÀt¸ãi•ñÆc˜str*«i“ct•¸ãicaÀt“ion˜of˜Hask“ellŽ¡‘RprogramsŸü^ÿ±4ŽŽ‘|s².–´QIt“also“lays“ouÜrt“a“dÕTeGsš#ign“wit•Uh“cons˜idÕTe
«raš¸ãbãŽle“pGotµUen±Çt˜ial“for“ren˜em˜en±Çt,Ž¡‘Rpart¸ãiñÆcularly–í¶wit•Uh“reGsp#ect“tšÜro“buildin˜g“more“economiñÆcal“aš¸ãbqstract“in±ÇtµUe
«rpret˜aÀt˜ions,Ž¡‘Ran¸ãd–GÄtšÜro“xin˜g“sh¸ãar*«in˜g“probãŽlems“in“t•Uhš¸ãe“xpGoin±Çt˜inÜrg“m˜ec˜h˜ani#sm.“F‘ÿ*ªurt•Uh˜e
«r“dÕTev˜elo˜pm˜en±ÇtŽ¡‘RmÃŽay–UUyield“impreGsqs#ivš¸ãe“str*«iñÆctn˜eGsqs“an˜d“sh˜ar*«inÜrg“anÃŽalys1ÇeGs“for“Hask˜ell.Ž‘RŸä‰ff8çϟ
L͍‘
Ÿü-=Ô4ŽŽ‘	?üÐDeni äs›THo•¾9w“e,˜Depart“m“en·¤t˜of˜Compušßt“in˜g,–TImp äe	Þr'xial“Coå±llege,“Lon¾9don.ŽŽŽŒ‹
A	 gÌ\ ý¯3¤ 2Ì\ ýäܚ‘,ÓRefefrence`sŽŸ#f‘,Ð[AFMŸü-=Ô+Ž‘nÐ95]ŽŽ‘ZóxZenÈa–Ð'Ar'xioå±la,“MaÄÍt§3tThias“F‘ÿ:«elleAÇiš äs.en,“John“Marai˜sš”t,“Mart¾9in“OdØ‡e	Þr˜sky‘ÿ:«,“an¾9d“PhilipŽ¤‘Xa²W‘ÿ:«adle	Þr.‘MA‘Øocall-b•¾9y-n“ee•AÇd›Ølam†Pb“dßa˜calculus.‘MIn˜Þ22nd–USymp‡osium“on“PrinciplesŽ¡‘Xa²of›6ˆPr•‡o“gr“amming˜L“anguagesÐ,–û‰San“F‘ÿ:«ranciš äsö!co,“Califor˜nia,“JanTuary“1995.“A¾9CMŽ¡‘Xa²PreAÇsNs.Ž¡‘,[A‘ÿ|rug93]ŽŽ‘Xa²LennÈart›¯LA‘ÿ|rugus”tâfsNson.‘ä¢Impå±lem•¾9en·¤t“inßg˜h“ask“ell˜o“v“e	Þrloadinßg.‘ä¢In˜ÞPr•‡o“c“e“e“dings‘Û¹ofŽ¡‘Xa²the–¶ïF‘ÿJªunctional“Pr•‡o“gr“amming›¶ïL“anguages˜and˜Computer˜AÃŽr“chite“ctur“e˜Confer-Ž¡‘Xa²enc•‡e,›N<Cop“enhagen,˜DenmarkÐ,–TJußn¾9e“1993.Ž¡‘,[Bar93]ŽŽ‘Xa²GeØ‡breAÇs.elasNs äie‘ÅØBaraki.‘ügÞAÃŽbstr•‡act›1Interpr“etation˜of˜Polymorphic˜Higher-Or“derŽ¡‘Xa²F‘ÿJªunctionsÐ.‘Ž„PhD‘“»tThš¾9eAÇs• äi“s,–”Depart˜m˜en·¤t“of“Compußtºîe	Þr“Science,“Univ˜e	Þr”s äit˜y“ofŽ¡‘Xa²Glasgoš¾9w,–MçLilybank“GardØ‡ens,“Glasgo˜w“G12“8QQ,“UK,“F‘ÿ:«eØ‡bruary“1993.‘ÂfAlsoŽ¡‘Xa²a•¾9v‘ÿ|raila“bå±le–Tas“a“Glasgoš¾9w“T‘ÿ:«ec˜h“RepAÇort“FP-93-07.Ž¡‘,[BHA85]ŽŽ‘Xa²G.L.–n¸Bur än,“C.L.“Hankin,“anš¾9d“S.‘A‘ÿ|rbramsky‘ÿ:«.‘Ü+Th˜e“tTh˜eory“of“s”tr'xiò×ctn˜eAÇsNs“anÈalys• äi“sŽ¡‘Xa²for›}high¾9e•	Þr-ordØ‡e“r˜fußnct¾9ions.‘&4In˜ÞPr•‡o“c“e“e“dings–Rof“the“Workshop“on“Pr•‡o“gr“ams‘RasŽ¡‘Xa²Data‘äòObje‡ctsÐ,–¹UpageAÇs“42{62,“DIKU,“Co•¾9pš äenh“agen,–¹UDenmÈarâfk,“17{19“Octßob˜e	ÞrŽ¡‘Xa²1985.›TSpr'xinßge•	Þr-V‘ÿ:«e“rlag˜LNCS˜217.Ž¡‘,[CC78]ŽŽ‘Xa²Cousot–Àanš¾9d“Cousot.‘úCSt˜aÄÍt˜iò×c“dØ‡etºîe	ÞrminÈaÄÍt˜ion“of“dynÈamiò×c“pro˜p äe	Þrt˜ieAÇs“of“recur”s äiv˜eŽ¡‘Xa²pro•AÇce“d¾9ure“s.‘(vIn–ÆE.J.“NeuhÈoå±ld,“eAÇditßor,“ÞF‘ÿJªormal–ð£Description“of“Pr•‡o“gr“ammingŽ¡‘Xa²Conc‡eptsÐ.–TNortTh-Hoå±llan¾9d,“1978.Ž¡‘,[Con91]ŽŽ‘Xa²Ch¾9arleAÇs–¨ÞCons.el.‘ñ®F‘ÿ:«asš”t“s˜tr'xiò×ctn¾9ešAÇsNs“anÈalys• äi“s–¨Þvia“sym†Pb˜oå±liò×c“xp˜oin·¤t“itºîe	ÞraÄÍt¾9ion.‘ñ®Un-Ž¡‘Xa²puTbå±li äshš¾9eAÇd.–}Y‘ÿ:«ale“Univ˜e	Þr”s äit˜y‘ÿ:«,“Depart˜m˜en·¤t“of“Compußtšºîe	Þr“Science,“Sept˜em†Pb äe	ÞrŽ¡‘Xa²1991.Ž¡‘,[FH93]ŽŽ‘Xa²Alex–¬QF‘ÿ:«e	Þrguson“anš¾9d“John“Hugh˜eAÇs.‘òõF‘ÿ:«as”t“a˜bNs”tract“in·¤tºîe	Þrpret˜aÄÍt˜ion“us äinßg“s.equen-Ž¡‘Xa²t¾9ial–\ˆalgor'xitThms.‘íýIn“ÞPr•‡o“c“e“e“dings–ªof“the“Chalmers“Pr•‡o“gr“amming‘ªMetho“dolo“gyŽ¡‘Xa²Grš‡oup–¯¸Winter“Me˜etingÐ,–jJanTuary“1993.‘UñDepart•¾9m“en·¤t–jof“Compußtºîe	Þr“ScienceAÇs,Ž¡‘Xa²Ch•¾9alm“eš	Þr”s‘TUniv“e˜r”s äit“y–Tof“T–ÿ:«ec¾9hnoå±logy“.Ž¡‘,[Hal93]ŽŽ‘Xa²CordØ‡elia‘V.––ZHall.‘šKUsš äinßg“s”tr'xiò×ctn¾9eAÇsNs“anÈalys˜i˜s“in“practš¾9iò×ce“for“dßaÄÍt˜a“s”tru˜ct˜ureAÇs.Ž¡‘Xa²In–{John‘T.“O'Donnš¾9ell“an˜d“K˜evin“Hammon˜d,“eAÇditßor”s,“ÞGlasgow‘–þWorkshopŽ¡‘Xa²on–¡F‘ÿJªunctional“Pr•‡o“gr“ammingÐ,–ÔwW‘ÿ:«orâfkshÈoš¾9pNs“in“Compu•ßt˜in“g,–ÔwAyr,“ScotTlan˜d,“JulyŽ¡‘Xa²1993.‘TSpr'xinßge•	Þr-V‘ÿ:«e“rlag.Ž¡‘,[HH91]ŽŽ‘Xa²SeØ‡bas”tš¾9ian–ºHußn·¤t“an˜d“Chr'xi äs“Hankin.‘€™FixešAÇd“p˜oinš·¤tâfs“an¾9d“f'xron˜tš¾9ie	Þr”s:“a“n˜ew“p äe	Þr-Ž¡‘Xa²sp äect•¾9iv“e.‘
ÃÞJournal–0Sof“F‘ÿJªunctional“Pr•‡o“gr“ammingÐ,–ôÇ1(1):91“{“120,“JanTuary“1991.Ž¡‘,[HL92a]ŽŽ‘Xa²Piet•ºîe	Þr‘H.›çøHart“el˜an•¾9d˜Ko äen‘G.˜Lanšßgen“do äen.‘	Benc“hmÈarâfkin˜g‘çøimpå±lem“en·¤t“aÄÍt“ionsŽ¡‘Xa²of–(flazy“fušßnct¾9ionÈal“lan˜guagešAÇs.‘M„T‘ÿ:«ec¾9hniò×cal“rep˜ort,“Depart•¾9m“en·¤t–(fof“Compußtºîe	ÞrŽ¡‘Xa²Sys”tºîems,–ê¾F‘ÿ:«aculßtš¾9y“of“Ma•ÄÍtTh˜emÈa“t˜iò×cs–ê¾an˜d“Compußtºîe	Þr“Science,“Univ˜e	Þr”s äit˜y“of“Am-Ž¡‘Xa²s”tºîe•	Þrdßam,›TDecem†Pb äe“r˜1992.Ž¡‘,[HL92b]ŽŽ‘Xa²John–æ Hughš¾9eAÇs“an˜d“John“La§3ußnc˜h˜bury‘ÿ:«.‘	‚çPro‘ƒŽject˜ions“for“pAÇoå±lymorphiò×c“r•”s“t-Ž¡‘Xa²ordØ‡e	Þr–þòs”tr'xiò×ctn¾9eAÇsNs“anÈalys• äi“s.‘†In‘þòÞMathematic•‡al›9ªStructur“es˜in˜Computer˜Scienc“eÐ,Ž¡‘Xa²v•¾9oå±lußm“e‘2,–TpageAÇs“301{326,“1992.Ž¡‘,[HM94]ŽŽ‘Xa²C.›L.–B9Hankin“an¾9d“D.˜Le“M¾ª‘û¡Xet•¾9ay“e•	Þr.‘Ÿ—De“r•'xivinßg›B9algor“itThms˜f“rom˜t¾9yp äe˜infe	ÞrenceŽ¡‘Xa²sys”tºîems:›–(A‘ÿ|rp•¾9på±liò×caÄÍt“ion˜tßo˜s”tr'xiò×ctn“eAÇsNs˜anÈalys• äi“s.‘”—In˜ÞPr•‡o“c“e“e“dings–¯Þof“POPL'94Ð,Ž¡‘Xa²1994.Ž¡‘,[Hug90]ŽŽ‘Xa²John›˜œHugh•¾9eAÇs.‘¡Compile-t“im“e˜anÈalys• äi“s˜of˜fußnct•¾9ionÈal˜programs.‘¡In˜Da“vid‘A.Ž¡‘Xa²T‘ÿ:«ur än¾9e	Þr,–ó
eAÇditßor,“ÞR•‡ese“ar“ch–ðxT›ÿJªopics“in“F˜unctional“Pr•‡o“gr“ammingÐ.‘ó
Addi äson-Ž¡‘Xa²W›ÿ:«eAÇsley–¨DPuTbå±li äshinßg“Compan¾9y˜,“1990.‘Ï®F˜rom“tTh¾9e“1987“Y˜eNar“of“Programminßg,Ž¡‘Xa²Univ•¾9e	Þrš”s äit“y–Tof“T‘ÿ:«exas,“A‘ÿ|rus˜t¾9in,“T‘ÿ:«exas.Ž¡‘,[Hußn91]ŽŽ‘Xa²SeØ‡bas”t¾9ian‘ŸHußn·¤t.‘¯2ÞAÃŽbstr•‡act›¸Interpr“etation˜of˜F‘ÿJªunctional˜L“anguages:˜F‘ÿJªr“omŽ¡‘Xa²Theš‡ory–?fto“Pr˜actic˜eÐ.‘'ÞPhD‘€tTh¾9eAÇs• äi“s,›ÄImp“e•	Þr'xial˜Coå±llege,˜Univš¾9e“r”s äit˜y–Äof“Lon˜don,Ž¡‘Xa²1991.ŽŽŽŒ‹
W+ gÌ\ ý¯3¤ 2Ì\ ýäܚ‘RÐ[JM86]ŽŽ‘~a²Ne•AÇil‘D.› Jon¾9e“s˜an•¾9d˜Alan˜Mycroft.‘îpDaÄÍt“a˜
o“w˜anÈalys• äi“s˜of˜ap•¾9på±liò×caÄÍt“iv“e˜programsŽ¤‘~a²us äinšßg–¬·minimÈal“fu˜nctš¾9ion“graphs:“A‘ÿ|rbr'xidgeAÇd“v˜e	Þr”s äion.‘óIn“ÞThirte‡enth‘îAÃŽCM‘îSym-Ž¡‘~a²pš‡osium–Ó/on“Principles“of“Pr˜o˜gr˜amming“L˜anguages,“St.“Petersbur˜g,“FloridaÐ,Ž¡‘~a²pageAÇs–T296{306,“1986.Ž¡‘R[Jon93]ŽŽ‘~a²Marâfk‘P‘ÿ:«.›«LJon•¾9eAÇs.‘ò”P“art“ial˜ev‘ÿ|raluaÄÍt“ion˜for˜diò×ct“ionÈary-f'xree˜o“v“e	Þrloadinßg.‘ò”T‘ÿ:«ec“hniò×calŽ¡‘~a²RepAÇort–×RR-959,“Depart•¾9m“en·¤t–×of“Compußtºîeš	Þr“Science,“Y‘ÿ:«ale“Univ•¾9e˜r”s äit“y‘ÿ:«,‘×A‘ÿ|rpr'xilŽ¡‘~a²1993.Ž¡‘R[KHL91]ŽŽ‘~a²R.–Kš¾9uTbiak,‘‡ÃJ.“Hugh˜eAÇs,–‡Ãan˜d“J.‘La§3u•ßnc˜h˜bury‘ÿ:«.‘nÒA‘‡¦prot“ot˜yp äe–‡Ãimpå±lem˜en·¤t˜aÄÍt˜ion“ofŽ¡‘~a²pro‘ƒŽject¾9ion-bas.eAÇd›§Ïr•”s“t-ordØ‡e	Þr˜pAÇoå±lymorphiò×c˜s“tr'xiò×ctn¾9eAÇsNs˜anÈalys• äi“s.‘ÎRIn˜R.‘Heldßal,Ž¡‘~a²eAÇditßor,‘RìÞDr•‡aft›rPr“o“c“e“e“dings˜of˜F–ÿJªourth˜AÃŽnnual˜Glasgow˜Workshop˜on˜F“unc-Ž¡‘~a²tional‘N<Pr•‡o“gr“ammingÐ,–TpageAÇs“322{343,“Sky¾9e,“A‘ÿ|rugus”t“13{15“1991.Ž¡‘R[Mar92]ŽŽ‘~a²Chr'xi äs”tßo•¾9ph“e	Þr‘Ch“arleAÇs‘t6Mart“in.‘4ÞAšÃŽlgorithms–¥mfor“Finding“Fixp‡oints“in“A˜bstr‡actŽ¡‘~a²Interpr‡etationÐ.‘¢PhD‘î¥tTh¾9eAÇs• äi“s,›îÝImp“e•	Þr'xial˜Coå±llege,˜Univš¾9e“r”s äit˜y–îÝof“Lon˜don,“Jußn˜eŽ¡‘~a²1992.Ž¡‘R[Nel91]ŽŽ‘~a²George‘C.›T’Nelan.–ÒÞFirstic‡ationÐ.“PhD‘TatTh¾9eAÇs• äi“s,˜Ar'xizonÈa˜St•¾9aÄÍtºîe˜Univ“e	Þr”s äit“y‘ÿ:«,˜1991.Ž¡‘R[NN92]ŽŽ‘~a²F.‘Nielson–Danš¾9d“H.R.“Nielson.‘ Finitºîen˜eAÇsNs“con˜dit˜ions“for“xešAÇd“p˜oin·¤t“itºîe	Þra-Ž¡‘~a²t•¾9ion.‘|¦T‘ÿ:«ec“hniò×cal–ŒgrepAÇort,“Compußtºîeš	Þr“Science“Depart•¾9m“en·¤t,–ŒgAarhTus“Univ•¾9e˜r”s äit“y‘ÿ:«,Ž¡‘~a²DenmÈarâfk,–TF‘ÿ:«eØ‡bruary“1992.Ž¡‘R[NoAÇc93]ŽŽ‘~a²Erš'xiò×c‘֓NoAÇc•¾9k“e	Þr.‘—Str˜iò×ctn“eAÇsNs›֓anÈalys• äi“s˜us“inßg˜a•¾9bNs”tract˜reAÇd“u“ct“ion.‘—In˜ÞPr•‡o“c“e“e“dings‘‘ofŽ¡‘~a²FPCA93,–N<Cop‡enhagen,“DenmarkÐ,–TJußn¾9e“1993.Ž¡‘R[P¾9ar92]ŽŽ‘~a²Will›/¥P•¾9art“ain.‘cTh“e˜Ünofib˜Ðb äenc“hmÈarâfk˜suitºîe˜of˜h“ask“ell˜programs.‘cIn˜ÞFifthŽ¡‘~a²AÃŽnnual–N<Glasgow“Workshop“on“F‘ÿJªunctional“Pr•‡o“gr“amming,‘N<AyrÐ,‘T1992.Ž¡‘R[PC87]ŽŽ‘~a²Simon–‘ÁPš¾9eytßon“Jon˜eAÇs“an˜d“Chr'xi äs“Clac˜k.‘Œ˜Fin˜dinßg“xpAÇoin·¤tâfs“in“a˜bNs”tract“in·¤tºîe	Þr-Ž¡‘~a²pret•¾9aÄÍt“ion.‘Ó.In–VkS.‘A‘ÿ|rbramsky“an¾9d“C.L.“Hankin,“eAÇditßor”s,“ÞAÃŽbstr•‡act‘žÍInterpr“etationŽ¡‘~a²of›R`De•‡clar“ative˜L“anguagesÐ,–0kCompußtºîe	Þr”s“anš¾9d“Th˜eAÇir“A‘ÿ|rp˜på±liò×caÄÍt˜ions,“c˜h˜aptºîe	Þr‘11,Ž¡‘~a²pagešAÇs–T246{265.“Elli äs“Horw¾9o˜o˜d,“1987.Ž¡‘R[PJ93]ŽŽ‘~a²Will›nP•¾9art“ain˜an“d˜Simon˜L.‘P“eytßon˜Jon“eAÇs.‘"EM•ßeNasur'xin“g˜tTh•¾9e˜eect“iv“en“eAÇsNs˜of˜aŽ¡‘~a²s äimpå±le–áas”tr'xiò×ctnš¾9eAÇsNs“anÈalys.e	Þr.‘–In“John‘T.“O'Donn˜ell“an˜d“K˜evin“Hammon˜d,“eAÇd-Ž¡‘~a²itßor”s,›@&ÞGlasgow–u•Workshop“on“F‘ÿJªunctional“Pr•‡o“gr“ammingÐ,˜W‘ÿ:«orâfkshÈo¾9pNs˜in˜Com-Ž¡‘~a²pu•ßtš¾9in“g,–TAyr,“ScotTlan˜d,“July“1993.“Spr'xinßge•	Þr-V‘ÿ:«e“rlag.Ž¡‘R[RoNs93]ŽŽ‘~a²Mads‘ÆúRoNs.enš¾9d•ßa“hl.‘+2High˜e•	Þr-ordØ‡e“r–Æúc˜h˜aot˜iò×c“itºîe	ÞraÄÍt˜ion“s.equenceAÇs.‘+2In“ÞPLILP'93Ð,Ž¡‘~a²pageAÇs–T332{345,“T‘ÿ:«allinn,“Es”tšßonia,“1993.“Spr'xin˜ge•	Þr-V‘ÿ:«e“rlag‘TLNCS714.Ž¡‘R[Sew91]ŽŽ‘~a²Julian›+ÓSew•¾9ard.‘WºT‘ÿ:«o“w“ards˜a˜s”tr'xiò×ctn“eAÇsNs˜anÈalys.e	Þr˜for˜h“ask“ell:˜Pušßt§3t“in˜g‘+ÓtTh“eoryŽ¡‘~a²in·¤tßo–•Üpractš¾9iò×ce.‘“·Mas”tºîe	Þr's“tTh˜eAÇs• äi“s,‘•ÜUniv˜e	Þr”s“it˜y–•Üof“Manc˜h˜eAÇs”tºîe	Þr,“Depart˜m˜en·¤t“ofŽ¡‘~a²Compußtºîe	Þr–›ÌScience,“1991.‘ª†Av‘ÿ|railaš¾9bå±le“as“Univ˜e	Þr”s äit˜y“of“Manc˜h˜eAÇs”tºîe	Þr“T‘ÿ:«ec˜hniò×calŽ¡‘~a²RepAÇort‘TUMCS-92-2-2.Ž¡‘R[Sew94]ŽŽ‘~a²Julian‘š)Sew¾9ard.‘¥¤ÞAÃŽbstr•‡act›ÈLInterpr“etation:˜A‘È-Quantitative˜AssessmentÐ.‘¥¤PhDŽ¡‘~a²tThš¾9eAÇs• äi“s,–¤Depart˜m˜en·¤t“of“Compußtºîe	Þr“Science,“Univ˜e	Þr”s äit˜y“of“Manc˜h˜eAÇs”tºîe	Þr,“OxfordŽ¡‘~a²Road,›TManc•¾9h“eAÇs”tºîe•	Þr˜M13˜9PL,˜UK,˜Octßob äe“r˜1994.Ž¡‘R[W‘ÿ:«ad87]ŽŽ‘~a²P–ÿ:«.L.›­W“adle	Þr.‘óeStr'xiò×ctn¾9eAÇsNs˜anÈalys• äi“s˜on˜non-
aÄÍt˜domÈains˜(b•¾9y˜a“bNs”tract˜in·¤tºîe	Þrpret-Ž¡‘~a²aÄÍt•¾9ion›”o“v“e	Þr˜nitºîe˜domÈains).‘“ƒIn˜S.‘A‘ÿ|rbramsky˜an“d˜C.L.˜Hankin,˜eAÇditßor”s,˜ÞAÃŽb-Ž¡‘~a²str•‡act›Û+Interpr“etation˜of˜De“clar“ative˜L“anguagesÐ,›®±c•¾9h“aptºîe	Þr‘12,˜pageAÇs˜266{275.Ž¡‘~a²Elli äs›THorw¾9o•AÇo“d˜Ltd.,˜Chiò×c•¾9h“e•AÇs”tºîe	Þr,˜W‘ÿ:«e“s”t˜SusNs.ex,˜Enßglan¾9d,˜1987.ŽŸK3g‘RThi äs–Tartš¾9iò×cle“w˜as“pro•AÇce“sNs.e“d–Tus äinßg“tTh˜e“LŸýó5‘ü«‡ÔAŽŽ‘©ÐT‘þuAŸ
ïÿEŽ‘˜ŸX“mÈacro“pac˜kò×age“witTh“LLNCS“s”t˜yleŽŽŽŒø
kÂ
ƒ’À;ègÌ\
­ ó3¼j‘¹		cmti9ó1ߤN		cmtt9ó,©±Ê		cmsy9ó)¹Aa¨cmr6ó(ÂÖN cmbx12ó&t‰:		cmbx9ó%o´‹Ç		cmr9ót}\Êcmti7óý':

cmti10óßê<x

cmtt10óò"V

cmbx10ó
°ìKffffcmbx14ó
!",š

cmsy10óO!â…cmsy7ó
 b>

cmmi10ó	0e—rcmmi7óKñ`y

cmr10óٓ Rcmr7óú±u

cmex10ù
Êßßßßßßß