Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Smells like duck-typing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-10-18 (16:30)
From: Dario Teixeira <darioteixeira@y...>
Subject: Re: [Caml-list] Smells like duck-typing
> No it isn't, its just mis-stated. What he actually wants is projections,
> which are perfectly sound. That is, given a concrete record with N
> fields, a collection of *views* which only expose a subset of the
> fields.
> More generally, not just a subset of fields, but a new record
> which is the image of a epimorphism (a structure preserving
> surjection or 'onto' mapping).

I wasn't familiar with the "projections" terminology, but that is
precisely what I meant, and what I've referred to as "marble carving"!
(The wheel keeps getting reinvented...)

Incidentally, are projections implemented by any language out there?
(I realise that to a certain extent, SQL views are also projections.
But what about other examples?)


Want ideas for reducing your carbon footprint? Visit Yahoo! For Good