📄 http:^^lal.cs.byu.edu^cs532^geninfo.html
字号:
Date: Tue, 14 Jan 1997 20:06:54 GMT
Server: Apache/1.0.3
Content-type: text/html
Content-length: 5346
Last-modified: Thu, 05 Sep 1996 17:47:55 GMT
<HTML><HEAD><TITLE> General Gofer and LAL Information</TITLE></HEAD><BODY BGCOLOR="#F0F0F0"><H2> General Gofer and LAL Information </H2><H3> Welcome </H3>Welcome to CS532, Semantics of Programming Languages. I'm the TA forthe class, and I also maintain the computers you'll be using for thiscourse. My email address is <!WA0><AHREF="mailto:jones@cs.byu.edu">jones@cs.byu.edu</A> and I promise toanswer email questions as rapidly as I can. Email is the best way toget ahold of me, but if you want to meet with me in person, I'musually in TMCB 3325.<P>This general information page was written by Kelly Hall who was the last TAfro this class and is updated for use this semester.<p><H3> Gofer background </H3>For this course we'll be using the lazy functional programminglanguage Gofer. much of what's in the course materials talks about alanguage called Haskell. Gofer is a nice subset of Haskell, andchances are you won't notice any difference between the book and whatwe've got here.<P>If you hate Unix machines, Gofer is available for almost any kind ofcomputer around. Send me mail for details. You can easily run thison PCs, Macs, Amigas, STs, whatever. It will probably even run on theY-Vax. The rest of this page will cover running Gofer on the LALmachines; if you run Gofer elsewhere, check<!WA1><A HREF="ftp://coral.cs.jcu.edu.au/web/FP/hcs/gofer.html">this</A> outfirst. <P><H3> LAL Machine Background </H3> LAL Machines: If you're reading thisemail, you've probably already logged in to some machine in the LAL group.There are several LAL workstations, and you can log into any of them andall of your files will be there. The machine names are: leopard, panther,cheetah, puma, jaguar, lynx, bobcat. There is also 'lal', but that's justa different name for leopard. Use whichever machine you want if all you'llbe doing is email, gofer, and editing. For bigger tasks, stay off leopardand jaguar. One is the server, and the other is Dr. Windley's machine.<P>There are no facist disk quotas on the LAL machines. All I ask isthat you keep your usage to reasonable levels. Follow this vaguerequest and they'll be plenty of resources for everyone.<P><H3> Getting Ready for Gofer </H3>Once you log in, make sure you enter the correct terminal type. Thestandard login script will assume <tt>hp</tt>, but you will want to type in<tt>xterm</tt> if you're using a standard LAL login window. If you'recalling in from home, use <tt>vt100</tt>. If you're telneting fromelsewhere, <tt>vt100</tt> is a good choice as well.<P>If you forget to set the terminal type when you log in, you can do itlater by isssuing the command: <CODE> export TERM=xterm </CODE> at theUnix prompt. Of course, if you don't want <tt>xterm</tt> you can specifywhatever you want.<P>Now that the terminal type is set, make sure you set your defaulteditor. We have emacs, vi, and the Vuepad editors available on theLAL machines. Pick whichever one you want to use with Gofer and issuethe appropriate command below:<UL> <LI> Emacs: <CODE> export EDITOR=/usr/local/bin/emacs </CODE> <LI> vi: <CODE> export EDITOR=/usr/bin/vi </CODE> <LI> Vuepad: <CODE> export EDITOR=/usr/vue/bin/vuepad </CODE></UL><P>(Clever users will stick these commands into the file<tt>.profile</tt> and forget about this. Note: this is<tt>.profile</tt> and not <tt>.login</tt> for any of you archaicC-shell users.) <P><H3> Starting and Interacting with Gofer </H3>Now you can start up Gofer reliably: type the word <tt>gofer</tt> andGofer will start up, print out some information, and prompt you with a<tt>?</tt> character. At this point, you can enter expressions forGofer to evaulate. Or you can issue commands to the Gofer program.For a list of commands, enter <tt>:?</tt> Whenever you get tired ofGofer, you can leave it by issuing the command <tt>:quit</tt> at the<tt>?</tt> prompt. <P>The commands you'll probably use most often are <tt>:edit</tt> and<tt>:load</tt> Start up an editor from within Gofer by typing<tt>:edit <filename></tt> where you can replace<tt><filename></tt> with the name of a text file (try foo.g).This should start up the editor you specified earlier. Add a coupleof the example expressions from the Gofer/Haskell tutorial and savethe file. <P>Exit your editor and Gofer should resume. Load the file you justedited by issuing the command <tt>:load <filename></tt>Hopefully there were no errors and Gofer will print out the results ofevaluating the stuff in your file. In any case, you can go back andedit that file again by issuing another <tt>:edit<filename></tt> command. This process repeats until you gettired of Gofer an exit with the <tt>:quit</tt> command. <P>You could just type those expressions straight into Gofer to evaluate,but then you'd have to type them over and over again whenever youstarted up Gofer. Using a editor and a text file lets you save yourwork.<P><H3> Wrap Up </H3>That's all I have for now. Feel free to send me email, or you can askquestions to everyone in the class by using our <!WA2><a href="mailto:cs532@lal.cs.byu.edu">class mailing list</a>. <P><hr><address> modified by <!WA3><A HREF="http://lal.cs.byu.edy/people/jones.html">Mike Jones</A> 9/5/96 </address></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -