Re: Types as first-class values?

Article View: comp.lang.misc

Article #236

#236

From: Jack Campin
Date: Thu, 16 Apr 1992 11:32

21 lines
1342 bytes

oscar@cui.unige.ch (Oscar Nierstrasz) wrote:
> Can anyone provide any references to programming languages that
> treat types as first-class values?

David Harland's language Poly does this.  It's described in:

	AUTHOR: Harland D. M David M.
	TITLE: Polymorphic programming languages
	IMPRINT: Chichester Horwood 1984
	SERIES: Ellis Horwood series in computers and their applications 25

From what I've seen of it, it looks like a hacker's dream and a
theoretician's nightmare.  It's been implemented on special-purpose
hardware - the Linn Rekursiv, also designed by Harland.


-- 
--  Jack Campin    room G092, Computing Science Department, Glasgow University,
17 Lilybank Gardens, Glasgow G12 8RZ, Scotland   TEL: 041 339 8855 x6854 (work)
INTERNET: jack@dcs.glasgow.ac.uk or via nsfnet-relay.ac.uk    FAX: 041 330 4913
BANG!net: via mcsun and uknet     BITNET: via UKACRL    UUCP: jack@glasgow.uucp

Technical Details

Message-ID: <1992Apr16.113231.1419@dcs.glasgow.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!glasgow!jack

References: <7597@cui.unige.ch>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!glasgow!jack
From: jack@dcs.glasgow.ac.uk (Jack Campin)
Newsgroups: comp.lang.misc,comp.lang.functional,comp.object
Subject: Re: Types as first-class values?
Message-ID: <1992Apr16.113231.1419@dcs.glasgow.ac.uk>
Date: 16 Apr 92 11:32:31 GMT
References: <7597@cui.unige.ch>
Reply-To: jack@dcs.glasgow.ac.uk (Jack Campin)
Organization: COMANDOS Project, Glesga Yoonie
Lines: 21

Reply to Parent Message