From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,a9f32f7699236ef1 X-Google-Attributes: gidfac41,public X-Google-Thread: 103d24,a9f32f7699236ef1 X-Google-Attributes: gid103d24,public X-Google-Thread: 103376,7fb761492573daee X-Google-Attributes: gid103376,public X-Google-Thread: 10db24,a9f32f7699236ef1 X-Google-Attributes: gid10db24,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: Which first-course languages? (was: What schools use Eiffel (was: No top schools use Ada)) ? Date: 1995/04/20 Message-ID: #1/1 X-Deja-AN: 101281377 references: <3mq0jd$r10@kaiwan009.kaiwan.com> <3mrg2c$onn@disunms.epfl.ch> <3n33ej$2h7@theopolis.orl.mmc.com> <3n5p9c$qjc@acme.freenet.columbus.oh.us> organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.eiffel,comp.lang.ada,comp.edu,comp.lang.scheme Date: 1995-04-20T00:00:00+00:00 List-Id: Robert Johnson says (without smileys): ": Miranda???? : Languages are kind of a hobby with me, but I have NEVER heard of that : one. : T.E.D. (strucutred programming bigot) Obviously, you are not in the main stream of Computer Science. Robert" I don't think that's fair. Miranda has had very narrow use and circulation, mostly because Turner decided to make it highly proprietary and try to make money out of it. At one point he was threatening to sue people who he thought were misappropriating his IPR's. Fine he's entitled, given the state of IPR law, but the consequence is that the language did not get much exposure. I would not even bother mentioning Miranda to students, except perhaps as a historical note. Today, Haskel is the appropriate inheritor of the (valuable) ideas in Miranda -- primarily the dedication to true referential transparency, with the full lazy evaluation semantics that such dedication requires.