?????????????????“??????????”(user-unfriendly)??????????????“????”????????“????????????????????”?????????????? Linux ???? TeX ????????????????ò???????????ɡ??????????? TeX ????????????μ????????????????????????????????????“?????????????????????????????????á?LaTeX ??‘????????’????????? Word ?????????”

???????????????“????”?????????? TeX ????????ù????????? TeXbook ??????????????飬"double bend" ?????????????????? TeX ????????д???????????????“????”??????????????????????????????????????鯔???????????????????“????”?????????????????????“????????”??

?????????????????????????????????????????“??????????”??????????????????????????“????”???????????????????“?????”?????????????????????飬???????????????????????????????????????????????????????????????????????????????????“????”?????????????????ò????????????????????????????????????????????????д?????????ü???????????????????????????????????????????????????????(??????????)?????????????????????????????????????“???”??“????”????“?????”????????????????????????????????????????????????????????????

????????????????????????з?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????“???????XX??????????????????……”??????Щ???????????????????????????????????????????????????к?????????????????????????????????????

?????????????“Any intelligent fool can make things bigger and more complex... It takes a touch of genius - and a lot ofcourageto move in the opposite direction.”????????????????仰??????????????????????????“????”?????????????????????????????????????????????Щ???????????????????????????????????????????????????????????????????????????????????????????????????

?????????????????????????“????????”????ζ???“????????”???ξ?????ж???????????????????????????????????????????????????????????????????????????е?????????(type theory)?????????????????????????????????????????

??????????ж????飬??????????????????顣

????????????????????????????????

???????????????????????????????????????

??????????????????????????????????????????????????????????????????????飬?????????????顣

????????????????п???????????????治??????????????????????????????

???????????????????????????????????????????(type)??????????(module)???壬??????????????(system call)???????????????????????????????????????“??????????????”??????????????????Щ???????????????????????????????????????????????????????????????????檔?????????к?????????????????÷???????????????????????????????????????????????????????????????????????????????????????????ó???????????????ò?????????????????Щ???飬???????????????????????????(???????????)?????????“????????????????”????????????????????????????????????????????????????????????????????????????????????????????????????????????????п??????????????????????????

??????????????? Unix ?????????????????????????????????????????????в????????????????????????????????????λ?ú?????????????????????????壬?????в????????塣??????????????к??????????????????λ?÷??ò?????????????????????????????????????????Щ?????????????????????????????????????????????????????????????λ?????????????? FOO ?????????????????????????н?????????????????????????????????????????????????????????????????? ".bar" ????????ò??????????????????????????????????????????????????????????????????????????????????????????“????”?????????????????????

????TeX ???????????鷳??????????С???????????????? kpathsea ??????÷???????tò???????????????????????????????????????TeX ????????к???????????????????????????????????

??????????????治?????????????????????????棬???????Щ?????趨???????????????????????????г???????в???????????????????????????????????(map)?????????????????洢??Щ?趨?????????????????????????????????????????????????????????(runtime system)????????????????????????????????????????????????????棬???г??????????????????(reference)??????????????????????????????????λ??????????????????????????????????????????