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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f79bb,a2124d80f1ddc0d4 X-Google-Attributes: gidf79bb,public X-Google-Thread: 103376,a2124d80f1ddc0d4 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-03-25 18:37:57 PST Path: nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!RRZ.Uni-Koeln.DE!uni-duisburg.de!zib-berlin.de!news.mathworks.com!zombie.ncsc.mil!admii!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody From: dewar@cs.nyu.edu (Robert Dewar) Newsgroups: comp.lang.ada,comp.lang.sather Subject: Re: Current state of the language Date: 25 Mar 1995 13:01:48 -0500 Organization: Courant Institute of Mathematical Sciences Message-ID: <3l1lqc$pmt@gnat.cs.nyu.edu> References: <3j5p3p$nc1@netnews.upenn.edu> <3ks2vu$2eo@sifon.cc.mcgill.ca> NNTP-Posting-Host: gnat.cs.nyu.edu Xref: nntp.gmd.de comp.lang.ada:20041 comp.lang.sather:1697 Date: 1995-03-25T13:01:48-05:00 List-Id: "What is the difference between modules and types" Ah ha! time to trot out again, for those who have not seen it, my observation that the words unify and confuse both mean the same thing (join together), but they express a very different point of view. A lot of language design is discussion on whether two features should be unified, or whether the attempt causes confusion. For me, I don't like the idea of trying to unify modules and types, of course it can be done, that's trivially obvious, and has been known for ever, but I think it is confusing.