[e-lang] Data-E: Removing fixed literal type set

[Mark S. Miller]

On Sun, Aug 9, 2009 at 7:25 AM, Kevin Reid <kpreid at mac.com> wrote:

> On Jun 3, 2009, at 1:03, Kevin Reid wrote:
>
> > The buildLiteral/1 message to Data-E builders is renamed buildAtom/1.
> >
> > A Data-E builder specifies the kinds of objects it will accept as
> > atoms, by a guard which can be retrieved from it. (We need to choose
> > the verb for this.)
>
> I hereby choose the verb atomType/0.
>
> Precedent: Collections' keyType/0 and valueType/0.
>

Good.


>
> In Caja-CapTP, the result will be a predicate function rather than a
> guard, until such time as Cajita has an idiomatic guard facility
> (particularly, ejectors are currently missing).
>

Draft guards and ejectors in T-cajita.js at <
http://codereview.appspot.com/105065/show>.


-- 
   Cheers,
   --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/e-lang/attachments/20090809/1b24221e/attachment.html