HDTenEightyP/NetNews huggingface dataset:
From: andrew@vittra15.cs.chalmers.se (Andrew Moran)
Newsgroups: comp.lang.functional
Subject: Re: Denotational semantics using metric spaces
Date: 8 Sep 92 11:58:32 GMT
Organization: Dept. of CS, Chalmers, Sweden

Thanks to all those that replied.  If anyone has any others to add,
please do.

Andy

------------

Firstly, one I discovered myself before posting the original request
(seems to be seminal):

    @article{Arnold80,
	author =    "A. Arnold and M. Nivat",
	title =     "Metric interpretations of infinite trees and semantics of
		     non-deterministic recursive programs",
	journal =   "Theoretical Computer Science",
	volume =    11,
	pages =     "181--205",
	year =      "1980"
    }

From Luke Ong <Luke.Ong@cl.cam.ac.uk>:

    @article{MacQ86,
	author =    "D. MacQueen and G. D. Plotkin and R. Sethi",
	title =     "An ideal model for recursive polymorphic types",
	journal =   "Information and Control",
	volume =    71,
	pages =     "95--130",
	year =      "1986"
    }
    
From Geoffrey Burn <glb@doc.imperial.ac.uk>:

    The main people doing this stuff are at CWI in Amsterdam.
    Why not get a list of their technical reports?

    [ The main article of interest I have found is:

    @inproceedings{Bakker83,
	author =    "J. W. de Bakker and J. I. Zucker",
	title =     "Compactness in Semantics for Merge and Fair Merge",
	booktitle = "Logics of Programs",
	series =    "LNCS",
	volume =    164,
	pages =     "18--34",
	year =      "1983"
    } 

    Also:

    @inproceedings{Bakker86,
	author =    "J. W. de Bakker and J. N. Kok and J.-J. Ch. Meyer and
		     E.-R. Olderog and J. I. Zucker",
	title =     "Contrasting themes in the semantics of imperative
		     concurrency",
	booktitle = "Current Trends in Concurrency, Overviews and Tutorials",
	series =    "LNCS",
	volume =    224,
	pages =     "51--121",
	year =      "1986"
    }

    ]

From Oscar Nierstrasz <oscar@cui.unige.ch>:

    @article{Amer89a,
	author =    "P. America and J. de Bakker and J. Kok and J. Rutten",
	title =     "Denotational Semantics of a Parallel Object-Oriented
		     Language",
	journal =   "Information and Computation",
	volume =    83,
	number =    2,
	pages =     "152--205",
	month =     Nov,
	year =      "1989"
    }
From: Xavier.Leroy@inria.fr (Xavier Leroy)
Newsgroups: comp.lang.functional
Subject: Re: ibmpc versions of sml and caml wanted
Date: 7 Sep 92 13:52:04 GMT
Organization: INRIA Rocquencourt, France

I'm afraid this repost is just missing the point.  The original
posting asks for IBM PC implementations of Caml.  The ``Caml Strong''
implementation, described in the repost, does not run on the PC.

On the other hand, there is a PC version of the Caml Light
implementation.  Actually, there are two of them: one runs on any PC,
but is severely limited by the 640k barrier; the other requires a
80386 or 80486, but runs in protected mode, meaning no memory
limitations and reasonable speed.

All Caml implementations are available by anonymous FTP from
nuri.inria.fr (128.93.1.26).  Caml Light is in directory
lang/caml-light.  The currently distributed version is 0.4.  Release
0.5 is coming Real Soon Now.  It adds some interesting language
features (e.g. Mauny's parsers and printers over streams).  There's
now a complete user's manual.  And lots of work has been done on the
microcomputer ports, in particular to add a portable set of graphics
primitives.

Concerning SML on a PC, I have heard about three implementations:

* Micro-ML, or uML, developed at University of Umea.
It is available by anonymous FTP from ftp.cs.ume.se, file
pub/uml021.zoo.  This is an interpreter for the core SML language,
without the modules.

* A port of Edinburgh ML 0.35. Available by FTP from
forwiss.uni-passau.de.

* A port of the New Jersey compiler to the 80386 PC under Windows,
developed by Yngvi Guttesen at the Technical University of Denmark.  A
report on this appeared in the last ML workshop, but I don't know if
the system is distributed yet. Seems to require a high-end PC (32M).


- Xavier Leroy

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The Caml Light racing team, projet Formel, INRIA Rocquencourt, France %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Newsgroups: comp.lang.functional
From: thiemann@chapelle.informatik.uni-tuebingen.de (Peter Thiemann)
Subject: archive of c.l.f?
Organization: /home/thiemann/.organization
Distribution: comp
Date: 8 Sep 92 23:24:07

Does anyone keep an archive of this newsgroup?

Thanks,
	Peter
--
Peter Thiemann, Wilhelm-Schickard-Institut,	   | Phone:	x49 7071 29 5467
Sand 13, D-W7400 Tuebingen, Germany		   | Fax:	x49 7071 29 5958
Email: thiemann@informatik.uni-tuebingen.de        |
From: sewardj@cs.man.ac.uk (Julian Seward (DRL PhD))
Newsgroups: comp.lang.functional
Subject: Re: Random number generator for Haskell (wanted)
Date: 7 Sep 92 07:47:29 GMT
Organization: Department of Computer Science, University of Manchester
In-reply-to: waugh@probitas.cs.utas.edu.au's message of 7 Sep 92 00:53:03 GMT


Try anonymous ftp to animal.cs.chalmers.se (129.16.225.30)
file /pub/haskell/library/Random.hs for a random number generator.

Jules
Newsgroups: comp.lang.functional
From: jgary@ms.uky.edu (James E. Gary)
Subject: SML
Keywords: sml help
Summary: help me load/save
Distribution: usa
Date: Wed, 9 Sep 1992 00:13:41 GMT
Organization: University Of Kentucky, Dept. of Math Sciences

We are running Edinburgh Standard ML and although I have some docs on
the language itself, I can't seem to find anything on the compiler (or
interpreter or whatever you want to call it). For instance, can I load
a text file as code into an SML session? Interactive programming is
nice, but I don't want to type everything everytime I run. Is there
a way to save the current environment?
-- 
--
 James Gary, BA,MS      U. of Kentucky       jgary@ms.uky.edu 
"Prosecuters will be violated."
From: chevalet@imag.fr (Chevallet Jean-Pierre)
Newsgroups: comp.lang.modula2
Subject: Re: m2 ftp sites
Date: 11 Sep 92 09:49:51 GMT
Organization: IMAG Institute, University of Grenoble, France

In article <92Sep3.115459edt.181609@thor.ai.toronto.edu> Modula2 List <INFO-M2%UCF1VM.BITNET@cmsa.Berkeley.EDU> writes:
>I wish to obtain modula 2 compiler for sun cparc stations.
>Could you recommend some ftp sites?
>
>thanks,
>vinay.

I do wish too to obtain a modula 2 ou 3 compiler for
educationnal use. 
I've found an m2.tar.Z on krynn.efd.lth.se or gatekeeper.dec.com
or mcsun.eu.net, but i've not succeed a correct ftp transfer, and
for the part tha arrive on my station, it seems to be an VAX version.

Any ideas ?       

(thanks in advance)

Jean-Pierre Chevallet.



-- 
CHEVALLET Jean-Pierre			chevalet@imag.imag.fr
LGI IMAG Bureau B305			chevalet@imag.UUCP
"Faire, et en faisant, se faire"
From: Jon.Guthrie@p25.f2000.n106.z1.fidonet.org (Jon Guthrie)
Newsgroups: comp.lang.modula2
Subject: Re: Is Modula-2 dead?
Date: 11 Sep 92 04:53:21 GMT
Article-I.D.: puddle.23865.2AB365C1
Organization: FidoNet node 1:106/2000.25 - COMM Port One, Sugar Land TX

Peter Moylan (1:105/42) writes to All:

 >One of the many reasons for the popularity of C is that C is not 
 >Ada. This matters a lot in the U.S., I suspect, because of the 
 >DoD pressure, but it is less of a factor in the rest of the 
 >world.

Actually, I don't think that ANY of the reasons why C is popular is because it is not Ada.  My understanding from talking to various people who do development for the DoD is that it is extremely easy to get a waiver from the DoD and use whatever language you like.  (Typically C and C++.)

I suspect that the primary reason why C is popular is because it is a "Lingua Franca" for a large group of programmers.  That is, in fact, why I learned C. (Now I make a living at it and what Modula code I've written at work has formally been banished to the nether regions of the file server.)  

That means that C is popular because, well, C is popular.

What's more, to a large number of (generally not too terribly knowledgeable) people, "real programmers" use C instead of whatever other languages there are.

As I recall, Modula-2 got a VERY good reception in the USA, but those most positive about it were those in academia.  Many of the staunchest C fanatics refuse to consider ANYTHING that the "academiacs" do to be worthy of their time.  Those companies that produced products written in Modula did not dominate their markets and several high-profile Modula programs sank without trace.  That tends to make Modula look bad DESPITE the fact that those programs were probably pretty good AND the fact that it's possib

le to write a bad program in any language.
 
In addition, those making the decisions about which language to use (at least in those places I know about) are few in number and generally ignorant of those issues that tend to make Modula-2 an easier language to use, and highly sensitive to things like the lack of a large pool of Modula programmers and the nonportability of the system modules.  (In fact, it is the fact that they don't believe that, should I leave, they can hire anyone else to maintain the Modula code that I write that has caused my code 

to be banished.)


--  
uucp: uunet!m2xenix!puddle!106!2000.25!Jon.Guthrie
Internet: Jon.Guthrie@p25.f2000.n106.z1.fidonet.org
From: Markus_Klingspor@WUE.MAUS.DE (Markus Klingspor)
Newsgroups: comp.lang.modula2
Subject: LIM ?
Date: 3 Sep 92 08:23:00 GMT
Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@cmsa.Berkeley.EDU>
Distribution: world
Organization: Mausnet

Kommentar zu A59114@HB in der Gruppe CL-MODULA2
am Do 03.09.1992, 08:58 wegen "LIM ?"
----------------------------------------------------------------------------

Is it really 3.1? I have 3.02 and though I have an update abonnement haven't
yet heard of 3.1.
- Markus
Newsgroups: comp.lang.modula2
From: olivert@glance.ch (Oliver J. Tschichold)
Subject: Re: any planned compilers?
Reply-To: olivert@glance.ch (Oliver J. Tschichold)
Organization: Glance Ltd., CH-8162 Steinmaur
Date: Wed, 9 Sep 92 10:20:24 GMT

In article <009604F6.684AD900.29512@esseX.stfx.ca> Modula2 List <INFO-M2%UCF1VM.BITNET@cmsa.Berkeley.EDU> writes:
>Heres a question open to compiler developers.
>
>Does anyone have plans to build a compiler for Modula-2 or Modula-3
>for systems build around the new ALPHA chip from Digital Equipment Corp.
>
>I may be looking for a native OSF/1 64bit compiler.
>
>John Andrea
>VAX System Manager
>St. Francis Xavier Univ.
>Antigonish, NS
>Canada
>andrea@essex.stfx.ca

We ported our professional Modula-2 to C-translator to Alpha/VMS.
It is a safe bet to assume that an Alpha/OSF1-version will be available
soon (ie as soon as DEC can supply us with a Alpha/OSF1 cross development
kit). 
The product is already running under VAX/VMS, VAX/Ultrix, MIPS/Ultrix,
HP-UX, SunOS, SCO/Unix and various other PC-Unixes, OS/2 and DOS.
Contact me for more info.

Hope this helps,
Oliver
______
Those who can, do. Those who can't, teach. Those who can't teach, administrate.

Oliver Tschichold, System Administrator                      olivert@glance.ch
From: RIVON@VMTECSLP.BITNET (Roberto Ivon)
Newsgroups: comp.lang.modula2
Subject: M2/O/O2 for Coherent?
Date: 7 Sep 92 21:27:54 GMT
Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@cmsa.Berkeley.EDU>
Distribution: world
Organization: The Internet


  Does anybody know if there is a Modula-2/Oberon/Oberon-2 compiler
that works under the Coherent Operating System?

Thanks in advance.

Roberto
Newsgroups: comp.lang.modula2
From: zentner@picard.phil.uni-passau.de (Martin Zentner)
Subject: Problems with Jefferson Modula2 for NeXT
Organization: University of Passau, Germany
Date: Mon, 7 Sep 1992 14:37:26 GMT

Hi folks,

I'm currently working with the M2-Compiler for NeXT from Jefferson  
software. It is in fact just a beta-release with lots of bugs. So I'm  
interested in exchanging hints, error-corrections, etc.

So the question is: Is there anybody out there, who uses this compiler,  
too ?

For those and all others, who read this:
Do you have any suggestions for better (other) Modula-compilers for NeXT ?

I`m expecting your replies !!!

Greetings

     Martin

--
_______________________________________________________________________
 Martin Zentner     
       zentner@picard.phil.uni-passau.de (NeXT-Mail welcome)
       "If you ask me, you have to take 42 as an answer."   
_______________________________________________________________________
From: Pat.Terry@p101.f4.n7104.z5.fidonet.org (Pat Terry)
Newsgroups: comp.lang.modula2
Subject: NEW FST MODULA-2... V3
Date: 15 Sep 92 01:52:06 GMT
Organization: FidoNet node 5:7104/4.101 - Settler City Fido, Grahamstown


 >  This is directed to CSPT@giraffe.ru.ac.za, but may be of interest
 >  to all Modula-2 enthusiasts ...

Thanks, Greg

(Message from Roger Carvalho quoted next)

 >    Sorry for the continued delay. The release 3 code is now finished
 >    and fully tested -- I encountered a few problems last week during
 >    regression testing...

 >    The documentation has been updated, although the chapter on OOP
 >    still needs work. Monday I will e-mail my OOP documentation to Pat
 >    Terry for his review (he does not know it yet!); I will be going
 >    out of town tuesday. I doubt that I will need more than 2 or 3 days
 >    to fix the OOP documentation, once I receive Pat's feedback.

Roger and I have been in touch often in the last few days.  He sent me a brief
preview of the OOP stuff a week back, and it looked interesting.

You can all mail to him at carvalho_roger@tandem.com, btw

 > I'm now on FidoNet, with access to their Modula-2 conference.  If
 > you're there too, do drop me a "Hello."

I'm still here, as you can see.  But the preferred addresses now are
cspt@giraffe.ru.ac.za or pdterry@psg.com



--  
uucp: uunet!m2xenix!puddle!5!7104!4.101!Pat.Terry
Internet: Pat.Terry@p101.f4.n7104.z5.fidonet.org
Newsgroups: comp.lang.modula2
From: v064lnev@ubvmsd.cc.buffalo.edu (Avatar)
Newsgroups: comp.lang.modula2
Subject: Re: Is Modula-2 dead?
Date: 14 Sep 92 21:47:00 GMT
Organization: State University of New York at Buffalo
News-Software: VAX/VMS VNEWS 1.41

No,  but it ought to be.
Newsgroups: comp.lang.modula2
From: seurer@rchland.vnet.ibm.com (Bill Seurer)
Subject: Modula-2:  Is a standard needed?
Date: Tue, 08 Sep 1992 18:29:22 GMT
Reply-To: BillSeurer@vnet.ibm.com
Disclaimer: This posting represents the poster's views, not necessarily those of IBM
Organization: IBM Rochester

YES!

Is the current standard the answer?  I don't know.

Having to deal with several versions of Modula-2 compilers on different 
systems and trying to maintain code that will compile with any of them 
is a real pain.  PIM is NOT enough.

We went so far as to write our own system-independent modules to do what
some of the existing library modules do.  But the existing ones are
different or incomplete between systems and therefore unusable.

A good, solid standard with a usable set of I/O libraries would be a big
step forward.  I don't like the look of the new standard's I/O libraries.
They look WAY too complex.

Unfortunately, it is probably too late.  Modula-2 was mostly passed over
for C++ around here.  And lack of a standard was one of the concerns that
killed it.  I am sure many other projects have seen the same thing.
-- 

- Bill Seurer     Language and Compiler Development      IBM Rochester, MN
  Internet: BillSeurer@vnet.ibm.com    America On-Line: BillSeurer@aol.com
From: Pat.Terry@p101.f4.n7104.z5.fidonet.org (Pat Terry)
Newsgroups: comp.lang.modula2
Subject: FAQ: comp.lang.modula2, draft - 92.9.11 v0.4
Date: 15 Sep 92 01:55:42 GMT
Organization: FidoNet node 5:7104/4.101 - Settler City Fido, Grahamstown

In a message of <Sep 11 11:53>, Randy Bush (1:105/42) writes:

 >Please review the appended draft of an FAQ, and send your comments and
 >contributions to randy@psg.com.  Thanks.

Just one comment so far:

 >     Fitted Software Tools
 >     P.O. Box 867403
 >     Plano, TX 75086
 >     USA
 >     ftp at ftp.psg.com:pub/modula-2/pc

That one was right
 
 >participants has the following request for usenet modulans:

 >==========
 >modula.2/long.messages #280, from digic, 2865 chars, Mon Jul 27 21:24:44 
 >1992

 >anyone can give me an updated status (eg. out of business, new address,
 >etc.) or any additional information on the following companies:

 >  Fitted Software Tools
 >  P.O. Box 956129
 >  Duluth, GA 30136
 >  U.S.A.
 >  (FST Modula-2 for IBM PC and compatibles (shareware))

That was a very old address

 




--  
uucp: uunet!m2xenix!puddle!5!7104!4.101!Pat.Terry
Internet: Pat.Terry@p101.f4.n7104.z5.fidonet.org
From: andrea@ESSEX.STFX.CA (John Andrea)
Newsgroups: comp.lang.modula2
Subject: RE: overview advice?
Date: 9 Sep 92 19:04:03 GMT
Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@cmsa.Berkeley.EDU>
Distribution: world
Organization: The Internet

overview of Modula-2
of the top of my head i would include

-history
 Prof. N. Wirth
 AlgolW -> Pascal -> Modula -> Modula-2 -> Oberon -> Oberon-2

-language size
 number of reserved words, number of build in functions
 simplicity of language, but power of operators

-modularity
 definition and implemention modules, and how they're used by teams to build
   large projects
 data abstraction, by using modules and hiding details

-strong type checking (VS the C style)
 type checking across procedures (VS the fortran style)
 and type checking across modules
 and the ability to override type checking with ARRAY OF BYTE, etc.

-current problems, is PIM good enough, standardization ??
 (throw in some good quotes from Prof Wirth)

john andrea
andrea@essex.stfx.ca
Newsgroups: comp.lang.modula2
From: draper@ais.org (Patrick Draper)
Subject: Re: m2 for scientific computation
Organization: UMCC
Date: Mon, 7 Sep 1992 07:40:33 GMT

In article <21407.2AA8073F@puddle.fidonet.org> Peter.Froehlich@p100.f71.n246.z2.fidonet.org (Peter Froehlich) writes:
>
>Why  should I want to convert a POINTER TO INTEGER into a POINTER
>TO  CHAR  anyway?  A well-designed application has (IMHO) no need
>for doing this...
>
>By(T)e...
>         Peter...
>
>-- THE ANSWER V2.03
>
>--  
>uucp: uunet!m2xenix!puddle!2!246!71.100!Peter.Froehlich
>Internet: Peter.Froehlich@p100.f71.n246.z2.fidonet.org

A well designed application might never need to do that, I agree. However,
Modula-2 is also a *systems* programming language!

If I am programming a device that is block mapped, it might be efficient to
handle my memory 32 bits (integer)) at a time. However, if I need to do
other operations on that memory, it might be more efficient to use 8 bits at
a time. You can see that a simple pointer conversion will allow me to do
both.


------------------////////////////////\\\\\\\\\\\\\\\\\\\\------------------
| Patrick Draper           Disclaimer:  I can't control my fingers,        |
| draper@umcc.ais.org                   I can't control my toes! - Ramones |
| University of Michigan                                                   |
| Computer Club                We are a nation of laws, not people         |
------------------\\\\\\\\\\\\\\\\\\\\////////////////////------------------
From: jeff.zeitlin@execnet.com (jeff zeitlin)
Newsgroups: comp.lang.modula2
Subject: is modula-2 dead?
Date: 4 Sep 92 04:04:18 GMT
Reply-To: "jeff zeitlin" <jeff.zeitlin@execnet.com>
Distribution: comp
Organization: Executive Networks Information

Tim Channon (MsgID <714374380snx@black.demon.co.uk>) says:

TC::>If asked I tend to be guarded if someone asks what language was used to cod
  ::>a program. With a lot of my stuff that would be answered 'Assembler and
  ::>Forth', perhaps leaving out mention of the latter or just saying 'running
  ::>under Forth'. Commercially Forth is often not acceptable, and unfortunately
  ::>Modula2 can suffer a little in the same way.

  Unless the person asking has a legitimate reason to knoe (i.e. he's
  not just asking out of curiousity) I tend to answer (in various
  evasively polite ways) that it's none of his business.  The most
  I'll typically say si something to the effect of "a high-level
  language that I have easy access to."  If I know that I've used
  library modules that were written in other languages, I indicate
  that it is a mixed-language program.  The only time I give out
  actual information on the source language is if the person asking
  has purchased the source from me.

  J/
  jeff.zeitlin@execnet.com

 * OLX 2.2 * He's not dead, he's "metabolically challenged".
--
Executive Network Information System  (914) 667-4567
International ILink Host
From: mbk@lyapunov.ucsd.edu (Matt Kennel)
Newsgroups: comp.lang.modula2
Subject: Re: Is Modula-2 dead?
Date: 15 Sep 1992 19:54:04 GMT
Organization: Institute For Nonlinear Science, UCSD
NNTP-Posting-Host: lyapunov.ucsd.edu
X-Newsreader: Tin 1.1 PL3

andersen@reality (Robert Andersen) writes:
: In article <BuL8Jw.s0@acsu.buffalo.edu> v064lnev@ubvmsd.cc.buffalo.edu (Avatar)  
: writes:
: > No,  but it ought to be.
: 
: Why don't you give us a reason instead of the non-intelligent response, it
: ought to be.

I'll reply for him but use my own opinions.

Modula-2 is approximately isomorphic to C in conception.  It's only real
advantage is that it's better designed for human interaction.

If people are going to spend some effort to "upgrade" their language, it's
silly to stop halfway and use Modula-2.  Modula-3, Oberon, Eiffel, Sather
and others are clearly superior to Modula-2 and C, not to mention C++.  For
other purposes, Fortran 90 is the best.

Oberon and Sather are significantly simpler than Modula-2 and C as well.

As a result, I regard Modula-2 as something to upgrade from, rather than
upgrade to, and hence it "ought to be dead".

--
-Matt Kennel  		mbk@inls1.ucsd.edu
-Institute for Nonlinear Science, University of California, San Diego
-*** AD: Archive for nonlinear dynamics papers & programs: FTP to
-***     lyapunov.ucsd.edu, username "anonymous".
Newsgroups: comp.lang.modula2
From: seurer@rchland.vnet.ibm.com (Bill Seurer)
Subject: BSI test suite
Date: Wed, 09 Sep 1992 18:10:04 GMT
Reply-To: BillSeurer@vnet.ibm.com
Disclaimer: This posting represents the poster's views, not necessarily those of IBM
Organization: IBM Rochester

Has anyone used the (supposed) BSI Modula-2 test suite?  What does it
test?  How thorough is it?  Where did you get it?  What did it cost?
-- 

- Bill Seurer     Language and Compiler Development      IBM Rochester, MN
  Internet: BillSeurer@vnet.ibm.com    America On-Line: BillSeurer@aol.com
Newsgroups: comp.lang.modula2