Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 16 Aug 1994 16:08:31 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA04915; Tue, 16 Aug 1994 09:01:04 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from tuminfo2.informatik.tu-muenchen.de by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA04910; Tue, 16 Aug 1994 09:00:39 -0600 Received: by tuminfo2.informatik.tu-muenchen.de via suspension id <326473>; Tue, 16 Aug 1994 16:56:32 +0200 Received: by tuminfo2.informatik.tu-muenchen.de via suspension id <326635>; Tue, 16 Aug 1994 16:55:38 +0200 Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) by tuminfo2.informatik.tu-muenchen.de with SMTP id <326634>; Tue, 16 Aug 1994 16:54:16 +0200 Received: by sunbroy14.informatik.tu-muenchen.de id <8079>; Tue, 16 Aug 1994 16:53:59 +0200 From: Konrad Slind To: info-hol@leopard.cs.byu.edu Subject: Where do type constructors come from? Message-Id: <94Aug16.165359met_dst.8079@sunbroy14.informatik.tu-muenchen.de> Date: Tue, 16 Aug 1994 16:53:57 +0200 Somebody asked me this, and I had no idea about the history. So how about it: who invented sum, prod, and unit? For that matter, who invented the idea of a constructor? Konrad.