From holte@csi2 Tue Oct 24 11:05:09 1989 Received: from csi2.csi.uofo.edu by csia.csi.uofo.edu (3.2/smail2.5/09-29-87) id AA08537; Tue, 24 Oct 89 11:05:07 EDT Received: by csi2.csi.uofo.edu (4.12/smail2.5/09-29-87) id AA07908; Tue, 24 Oct 89 11:16:19 edt Date: Tue, 24 Oct 89 11:16:19 edt From: holte@csi2(Robert Holte) Message-Id: <8910241516.AA07908@csi2.csi.uofo.edu> To: holte@csic Subject: ml mac Status: R >From MAILER Sat Oct 21 19:25:33 1989 Received: by csi2.csi.uofo.edu (4.12/smail2.5/09-29-87) id AA16525; Sat, 21 Oct 89 19:25:28 edt Resent-Message-Id: <8910212325.AA16525@csi2.csi.uofo.edu> Received: by UOTTAWA (Mailer R2.04) id 7755; Sat, 21 Oct 89 19:23:50 EDT Resent-Date: Sat, 21 Oct 89 19:23:31 EDT Resent-From: "David MacQueen's Address (ML man)" Resent-To: Rob Holte Received: from STANFORD.BITNET by ACADVM1.UOTTAWA.CA (Mailer R2.04) with BSMTP id 8298; Thu, 19 Oct 89 16:04:00 EDT Received: by Forsythe.Stanford.EDU; Thu, 19 Oct 89 12:58:56 PDT Received: from iswim.Stanford.EDU by Polya.Stanford.EDU with SMTP (5.61/25-eef) id AA07738; Thu, 19 Oct 89 12:59:05 -0700 Received: by iswim.stanford.EDU (5.57/Ultrix3.0-C) id AA01555; Thu, 19 Oct 89 12:58:48 PDT Message-Id: <8910191958.AA01555@iswim.stanford.EDU> To: Phil Subject: Re: Macs In-Reply-To: Your message of Thu, 19 Oct 89 14:50:24 -0400. <8910191935.AA02895@Polya.Stanford.EDU> From: John C. Mitchell Reply-To: John C. Mitchell Date: Thu, 19 Oct 89 12:58:38 PDT Sender: jcm@iswim Status: R ----------------------------Original message---------------------------- ML runs on Mac's already, and has been used here in our undergraduate courses. Contact MacQueen (dbm@research.att.com) about it. If it didn't come from him, you can ask Roy Jones (jones@cs.stanford.edu) where he got it. John From MAILER@csi2 Fri Nov 17 12:24:27 1989 Received: from csi2.csi.uofo.edu by csia.csi.uofo.edu (3.2/smail2.5/09-29-87) id AA00787; Fri, 17 Nov 89 12:24:24 EST Received: by csi2.csi.uofo.edu (4.12/smail2.5/09-29-87) id AA10950; Fri, 17 Nov 89 12:35:39 est Resent-Message-Id: <8911171735.AA10950@csi2.csi.uofo.edu> Received: by UOTTAWA (Mailer R2.04) id 0025; Fri, 17 Nov 89 12:34:08 EST Resent-Date: Fri, 17 Nov 89 12:33:01 EST Resent-From: Phil Resent-To: Rob Holte Received: from STANFORD.BITNET by ACADVM1.UOTTAWA.CA (Mailer R2.04) with BSMTP id 2058; Wed, 15 Nov 89 21:31:48 EST Received: by Forsythe.Stanford.EDU; Wed, 15 Nov 89 17:15:48 PST Received: by Polya.Stanford.EDU (5.61+IDA/25-eef) id AA10433; Wed, 15 Nov 89 17:16:23 -0800 Date: Wed, 15 Nov 1989 17:16:22 PST From: "Michael A. Cleron" To: "H. Roy Jones" Subject: Re: ML for Macs In-Reply-To: Your message of Wed, 15 Nov 1989 14:03:27 PST Cc: SCPSG@UOTTAWA.BITNET Message-Id: Rob: here's the Stanford reply. Do you have Fourman's address Status: R again. I lost it. Phil ----------------------------Original message---------------------------- Philip, We are using an interpreter from Meta Software Corporation in Cambridge, MA. (617) 567-6920. Their major product is something called Design/ML, which is advertised as an interactive programming environment for symbolic and graphical computing. (It's somthing like MacDraw, where each polygon is an ML listener.) We don't use Design/ML because it's pretty weird. You can contact Meta Software for a demo copy if you are interested. Meta Software also distributes a very stripped ML interpreter, which is what we use. Ours comes via Peter Henderson at SUNY Stony Brook. (Sorry, I can't find his phone number.) Henderson is a strong advocate of using ML in introductory CS courses, and he has some agreement where he can license universities for ML for next to nothing (I think $15). The interpreter we use is just a straight terminal interface: no windows, no scrolling, no cut/paste, no editor, and no debugger. Still, we have found that running ML with a text editor desk accessory is a reasonable environment. It's also pretty small: it can be run on a 1 meg Mac Plus with two drives. That's a tight fit; it's much happier with 2+ meg and a hard drive. We have been using it for a quarter with no problems, despite the primitive environment. I'm interested in what you plan to do with ML. If you have time, I'd like to hear what you would use it for. It is used at Stanford in a second year CS theory course. I chose it because it's possible to write quick, short programs that are theoretically interesting, such as computing the transitive closure of a relation, or generating a truth table for a sentence in propositional logic. - Mike Cleron