[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Dylan Wiki FAQ question

Doug Hockin <dough@ipeg.com> writes:

> How does the first argument to make (class == <abstract-foo>) work?
> Isn't it supposed to be a class? What am I missing?

The notation 

  foo == <bar> 

is equivalent to 

  foo :: singleton(<bar>) . 

This is *not* the same 

  foo :: <bar>

The latter means "an object of type <bar>". The two former mean "the
specific instance <bar>", which is an instance of the class <class>.

One could say that you pass the name of the class to make, not an
instance of that class.

Andreas

-- 
"In my eyes it is never a crime to steal knowledge. It is a good
theft. The pirate of knowledge is a good pirate."
                                                       (Michel Serres)