Re: Types as first-class values?

Article View: comp.lang.misc

Article #204

#204

From: Jim Bowery
Date: Tue, 14 Apr 1992 14:19

19 lines
1154 bytes

Oscar Nierstrasz writes:
>Can anyone provide any references to programming languages that
>treat types as first-class values?

Try SETL for starters.

Set theory defines the algebra of types you want.

The real problem for data abstraction languages is to define 
representation mappings between concrete sets representing the
same abstract set, which are implicitly applied when needed.

Combine set theory with representation mapping and you have 
accomplished most of the objectives of object oriented programming.

--                    
INTERNET:  jim@netlink.cts.com (Jim Bowery)
UUCP:   ...!nosc!ryptyde!netlink!jim
NetLink Online Communications * Public Access in San Diego, CA (619) 435-6181

Technical Details

Message-ID: <Zm68iB1w164w@netlink.cts.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!dog.ee.lbl.gov!nosc!ryptyde!jim

References: <7597@cui.unige.ch>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!dog.ee.lbl.gov!nosc!ryptyde!jim
From: jim@netlink.cts.com (Jim Bowery)
Newsgroups: comp.lang.misc,comp.lang.functional,comp.object
Subject: Re: Types as first-class values?
Message-ID: <Zm68iB1w164w@netlink.cts.com>
Date: 14 Apr 92 14:19:22 GMT
Article-I.D.: netlink.Zm68iB1w164w
References: <7597@cui.unige.ch>
Organization: NetLink Online Communications, San Diego CA
Lines: 19

Reply to Parent Message