Re: Types as first-class values?

Article View: comp.lang.misc

Article #216

#216

From: Graham Matthews
Date: Wed, 15 Apr 1992 00:49

22 lines
1386 bytes

Oscar Nierstrasz writes:
>Can anyone provide any references to programming languages that
>treat types as first-class values?
> 
(Jim Bowery) writes:
>Try SETL for starters.
> 
>Set theory defines the algebra of types you want.

I would have thought that any algebaraic system that allows you to
define algebaraic structures at run-time is treating types as first
class objects. For example defining a permutation group by specifying
generators at run-time is in essence creating a type that defines the
bahaviour of all elements of the group. In addition if you can then
compute properties of the group (eg: its order) than are you not
computing the properties of a type (since the group is a type)?

graham
--
Graham Matthews                 And it's true we are immune
Pure Math, Uni.Sydney, Oz       When fact is fiction and T.V. is reality
graham@maths.su.oz.au

Technical Details

Message-ID: <graham.703298987@bizet>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!metro!graham

References: <7597@cui.unige.ch> <Zm68iB1w164w@netlink.cts.com>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.misc,comp.lang.functional,comp.object
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!metro!graham
From: graham@maths.su.oz.au (Graham Matthews)
Subject: Re: Types as first-class values?
Message-ID: <graham.703298987@bizet>
Sender: graham@maths.su.oz.au
Nntp-Posting-Host: bizet.maths.su.oz.au
Organization: Sydney University Computing Service, Sydney, NSW, Australia
References: <7597@cui.unige.ch> <Zm68iB1w164w@netlink.cts.com>
Date: Wed, 15 Apr 1992 00:49:47 GMT
Lines: 22

Reply to Parent Message