Re: Data-E: Removing fixed literal type set

Kevin Reid <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
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.

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).

-- 
Kevin Reid                                  <http://switchb.org/kpreid/>
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.